verify: simpleAssumeSpec.c
	tass verify simpleAssumeSpec.c

compare: simpleAssumeSpec.c simpleAssumeImpl.c
	tass compare simpleAssumeSpec.c simpleAssumeImpl.c
