Context Navigation

Makefile@ 75982de

1.23 2.0 main test-branch

Last change on this file since 75982de 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

Line
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.