CMD=tass verify -deadlock=ignore matrix.c
PRE= matrix.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
	$(CMD) -inputN_BOUND=40
	$(CMD) -inputN_BOUND=45
	$(CMD) -inputN_BOUND=50
