CMD=tass compare -deadlock=ignore -inputN_BOUND=3 -ca=true meanSpec.c meanImpl.c
PRE= meanSpec.c meanImpl.c Makefile

compare: $(PRE)
	$(CMD)

