OPTION=-input_mpi_nprocs=6
VERIFY=civl verify -enablePrintf=false $(OPTION)

all: any_src-can-deadlock any_src-deadlock basic-deadlock basic-deadlock-comm_dup bcast-deadlock collective-misorder comm-dup-no-error comm-dup-no-free \
     complex-deadlock deadlock-config sendrecv-deadlock send-recv-ok no-error-any_src no-error


##http://formalverification.cs.utah.edu/ISP_Tests/
any_src-can-deadlock:
	@lessecho "NAME: any_src-can-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) -deadlock=potential any_src-can-deadlock.c 

any_src-deadlock:
	@lessecho "NAME: any_src-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) any_src-deadlock.c 

basic-deadlock:
	@lessecho "NAME: basic-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) basic-deadlock.c

basic-deadlock-comm_dup:
	@lessecho "NAME: basic-deadlock-comm_dup.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) basic-deadlock-comm_dup.c

bcast-deadlock:
	@lessecho "NAME: bcast-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) bcast-deadlock.c ##CIVL complains more precisely about the inconsistency

collective-misorder:
	@lessecho "NAME: collective-misorder.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) collective-misorder.c

comm-dup-no-error:
	@lessecho "NAME: comm-dup-no-free"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) comm-dup-no-error.c ##memory units analysis takes very long

comm-dup-no-free:
	@lessecho "NAME: comm-dup-no-free.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) comm-dup-no-free.c ##report as memory leak

complex-deadlock:
	@lessecho "NAME:  complex-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) complex-deadlock.c 

deadlock-config:
	@lessecho "NAME: deadlock-config.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) -deadlock=potential deadlock-config.c

sendrecv-deadlock:
	@lessecho "NAME: sendrecv-deadlock.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) -deadlock=potential sendrecv-deadlock.c

send-recv-ok:
	@lessecho "NAME: send-recv-ok.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) send-recv-ok.c

no-error-any_src:
	@lessecho "NAME: no-error-any_src.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) no-error-any_src.c

no-error:
	@lessecho "NAME: no-error.c"
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) no-error.c

clean:
	rm -f *~
	rm -f -r CIVLREP