verify: simpleArraySpec.c
	tass verify simpleArraySpec.c

compare: simpleArraySpec.c simpleArrayImpl.c
	tass compare simpleArraySpec.c simpleArrayImpl.c
