CIVL=civl

ring: ring.cvl mp_root.cvh mp_proc.cvh
	$(CIVL) verify -inputNPROCS=3 ring.cvl -simplify=false