CIVL=civl
VERIFY=${CIVL} verify -enablePrintf=false
REPLAY=${CIVL} replay

all: barrier boundedBuffer dining readerWriter twoLockQueue dining boundedBufferBad diningBad

barrier: barrier.cvl
	${VERIFY} -inputB=6 barrier.cvl

boundedBuffer: boundedBuffer.cvl
	${VERIFY} boundedBuffer.cvl

boundedBufferBad: boundedBuffer_bad.cvl
	${VERIFY} -min boundedBuffer_bad.cvl
	${REPLAY} boundedBuffer_bad.cvl

dining: dining.cvl
	${VERIFY} dining.cvl

diningBad: diningBad.cvl
	${VERIFY} -min diningBad.cvl
	${REPLAY} diningBad.cvl

readerWriter: readerWriter.cvl
	${VERIFY} readerWriter.cvl

twoLockQueue: two_lock_queue.cvl
	${VERIFY} two_lock_queue.cvl




