verify: sum.c
	tass verify -inputN_BOUND=10 sum.c
