TASS=tass verify -np=6 -deadlock=potential

all: test1 test2 test3

test1: any_src-can-deadlock.c
	$(TASS) any_src-can-deadlock.c

test2: complex-deadlock.c
	$(TASS) complex-deadlock.c

test3: sendrecv-deadlock.c
	$(TASS) sendrecv-deadlock.c

clean:
	rm -f -r TASSREP *~