verify: forSpec.c
	tass verify forSpec.c

compare: forSpec.c forImpl.c
	tass compare forSpec.c forImpl.c
