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

compare: adder_seq.c adder_par.c
	tass compare -np2=5 -inputB=20 adder_seq.c adder_par.c
