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

compare: meanSpec.c meanImpl.c
	tass compare -loop meanSpec.c meanImpl.c
