CMD=tass verify -deadlock=potential -np=10 ring.c
PRE= ring.c Makefile

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

reg: $(PRE)
	$(CMD) -inputN_BOUND=10
	$(CMD) -inputN_BOUND=20
	$(CMD) -inputN_BOUND=30
	$(CMD) -inputN_BOUND=40
	$(CMD) -inputN_BOUND=50
	$(CMD) -inputN_BOUND=60
	$(CMD) -inputN_BOUND=70
	$(CMD) -inputN_BOUND=80
