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

compare: loopFailSpec.c loopFailImpl.c
	tass compare -inputN_BOUND=2 loopFailSpec.c loopFailImpl.c
