verify: tileSpec.c
	tass verify -inputN_BOUND=4 tileSpec.c

compare: tileSpec.c tileImpl.c
	tass compare -inputN_BOUND=4 tileSpec.c tileImpl.c
