verify: loopSucceedSpec.c
	tass verify -inputN_BOUND=2 loopSucceedSpec.c

compare: loopSucceedSpec.c loopSucceedImpl.c
	tass compare -inputN_BOUND=2 loopSucceedSpec.c loopSucceedImpl.c
