CMD1=tass verify -np=10 -deadlock=ignore singleLoop.c
CMD2=tass verify -np=10 -deadlock=ignore collectiveLoop.c
PRE1= singleLoop.c Makefile
PRE2= collectiveLoop.c Makefile

loop1: $(PRE1)
	$(CMD1) -loop

reg1: $(PRE1)
	$(CMD1) -inputN=10
	$(CMD1) -inputN=20
	$(CMD1) -inputN=30
	$(CMD1) -inputN=40
	$(CMD1) -inputN=50

loop2: $(PRE2)
	$(CMD2) -loop

reg2: $(PRE2)
	$(CMD2) -inputN=10
	$(CMD2) -inputN=20
	$(CMD2) -inputN=30
	$(CMD2) -inputN=40
	$(CMD2) -inputN=50
