CIVL=civl
VERIFY=$(CIVL) verify


all: partial bound bound6 bad

partial: pair-insert-loop.cvl 
	$(VERIFY) -loop  $<

bound:  pair-insert.cvl
	$(VERIFY) -inputN=5 $<

bound6:  pair-insert.cvl
	$(VERIFY) -inputN=6 $<	

bad: pair-insert-bad.cvl
	$(VERIFY) $<	

clean:
	rm -rf CIVLREP .sarl *~
