verify: adder_seq.c
	tass verify -inputB=20 adder_seq.c

compare: adder_seq.c adder_par.c
	tass compare -np2=10 -inputB=50 adder_seq.c adder_par.c


bad: adder_seq.c adder_par_bad.c
	rm -rf TASSREP
	tass compare -np2=2 -inputB=2 adder_seq.c adder_par_bad.c
	tass replay -showTransitions -showSavedStates TASSREP/adder_seq-adder_par_bad_0.trace
