CIVL=civl
VERIFY=${CIVL} verify -min -enablePrintf=false 
COMPARE=${CIVL} compare -min -enablePrintf=false
REPLAY=${CIVL} replay -enablePrintf=false -showTransitions 


all: bad replayBad fix

wave1d: wave1d.c
	${VERIFY} wave1d.c

wave1dSeq: wave1d_seq.c
	${VERIFY} wave1d_seq.c

wave1dFix: wave1d_fix.c
	${VERIFY} wave1d_fix.c

bad: wave1d.c wave1d_seq.c
	${COMPARE} -spec wave1d_seq.c -impl wave1d.c

replayBad: wave1d.c wave1d_seq.c
	${REPLAY} -spec wave1d_seq.c -impl wave1d.c

fix: wave1d_fix.c wave1d_seq.c
	${COMPARE} -spec wave1d_seq.c -impl wave1d_fix.c

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