Context Navigation

Makefile@ cc8e265

1.23 2.0 main test-branch

Last change on this file since cc8e265 was 1209155, checked in by Ziqing Luo <ziqing@…>, 8 years ago

fixed a bug in the loop invariant transformer

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5027 fb995dde-84ed-4084-dfe6-e5aef3e2452c

File size: 162 bytes

Rev	Line
[560cd3c]	1	CIVL=civl
	2	VERIFY=$(CIVL) verify -collectSymbolicConstants
	3
	4	all: loop
	5
	6	loop: lcp.c
	7	$(VERIFY) $<
	8
	9	verify_%: %.c
	10	$(VERIFY) $<
	11
[2fa0abd]	12	clean:
	13	rm -rf CIVLREP *~ SARL_Why3

Note: See TracBrowser for help on using the repository browser.