source:
CIVL/examples/loop_invariants/foVeOOS/max/Makefile@
0c90cbf
| Last change on this file since 0c90cbf was 560cd3c, checked in by , 8 years ago | |
|---|---|
|
|
| File size: 220 bytes | |
| Line | |
|---|---|
| 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.
