CMD=tass compare -deadlock=ignore meanSpec.c meanImpl.c
PRE= meanSpec.c meanImpl.c Makefile

loop: $(PRE)
	$(CMD) -loop

reg: $(PRE)
	$(CMD) -inputN_BOUND=1
	$(CMD) -inputN_BOUND=5
	$(CMD) -inputN_BOUND=10
	$(CMD) -inputN_BOUND=15
	$(CMD) -inputN_BOUND=20
	$(CMD) -inputN_BOUND=25
	$(CMD) -inputN_BOUND=30
	$(CMD) -inputN_BOUND=35
