verify: countingSpec.c
	tass verify -inputN_BOUND=20 countingSpec.c

compare: countingSpec.c countingImpl.c
	tass compare -np2=5 -inputN_BOUND=20 countingSpec.c countingImpl.c
