source:
CIVL/examples/loop_invariants/foVeOOS/max/Makefile@
758cfb1
| Last change on this file since 758cfb1 was 560cd3c, checked in by , 8 years ago | |
|---|---|
|
|
| File size: 220 bytes | |
| Rev | Line | |
|---|---|---|
| [560cd3c] | 1 | CIVL=civl |
| 2 | VERIFY=$(CIVL) verify -collectSymbolicConstants | |
| 3 | ||
| 4 | all: loop | |
| 5 | ||
| 6 | loop: max.cvl | |
| 7 | $(VERIFY) $< | |
| 8 | ||
| 9 | bad1: max-bad_assert.cvl | |
| 10 | $(VERIFY) $< | |
| 11 | ||
| 12 | bad2: max-bad_invariant.cvl | |
| 13 | $(VERIFY) $< | |
| 14 | ||
| 15 | clean: | |
| 16 | rm -rf CIVLREP SARL_Why3 *~ |
Note:
See TracBrowser
for help on using the repository browser.
