t_*.log
t_*.out
t_*.v
t_*.ys
run-test.mk