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


all: Geco ISP CIVL TASS

##http://formalverification.cs.utah.edu/ISP_Tests/
ISP: ISPTests/Makefile
	cd ISPTests && make > OUT

CIVL: CIVLTests/Makefile
	cd CIVLTests && make > OUT

TASS: TASSTests/Makefile
	cd TASSTests && make > OUT

Geco: GecoTests/Makefile
	cd GecoTests && make > OUT

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