Context Navigation

Makefile@ 5833ea9

1.23 2.0 main test-branch

Last change on this file since 5833ea9 was 9570bc1, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added Makefile for analysis examples; improved the coverage of abs call analyzer.

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

File size: 184 bytes

Rev	Line
[9570bc1]	1	CIVL=civl
	2	VERIFY=${CIVL} verify
	3
	4	all: max abs
	5
	6	max: unreached.c
	7	${VERIFY} -showUnreached unreached.c
	8
	9	abs: abs.c
	10	${VERIFY} -analyze_abs abs.c
	11
	12	clean:
	13	rm -f -r CIVLREP
	14	rm -r -f *~

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