*.aux
*.html
*.log
*.pdf
*.tex
*_img
animation.gif
*_htmlimg
fuzzing.log
*-testbench_simple.wxmx