verify: nestedLoopsSpec.c
	tass verify -inputN_BOUND=2 nestedLoopsSpec.c

compare: nestedLoopsSpec.c nestedLoopsImpl.c
	tass compare -inputN_BOUND=2 nestedLoopsSpec.c nestedLoopsImpl.c
