verify: factorialSpec.c
	tass verify factorialSpec.c

compare: factorialSpec.c factorialImpl.c
	tass compare factorialSpec.c factorialImpl.c
