all: loop

loop:  two_equal_elements_tmp.cvl
	contract verify -collectSymbolicConstants $<

clean:
	rm -rf CIVLREP SARL_Why3 *~