all: badDividedByZero.f
	civl verify badDividedByZero.f
clean: 
	rm -rf *~ CIVLREP