*.out
.smv*
main
main.out
tests.log
