verify: simpleArrayFailSpec.c
	tass verify simpleArrayFailSpec.c

compare: simpleArrayFailSpec.c simpleArrayFailImpl.c
	tass compare simpleArrayFailSpec.c simpleArrayFailImpl.c
