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