main
test-branch
|
Last change
on this file since 1aaefd4 was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago |
|
Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
860 bytes
|
| Line | |
|---|
| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 | COMPARE=$(CIVL) compare
|
|---|
| 4 |
|
|---|
| 5 | all: compare1 compare2 compare3
|
|---|
| 6 |
|
|---|
| 7 | ## naive v.s. real time
|
|---|
| 8 | compare1: driver.cvl treebuffer_naive.cvl treebuffer.cvl treebuffer.h
|
|---|
| 9 | $(COMPARE) -checkMemoryLeak=false -spec driver.cvl treebuffer_naive.cvl -impl driver.cvl treebuffer.c
|
|---|
| 10 |
|
|---|
| 11 | ## naive v.s. caterpillar
|
|---|
| 12 | compare2: driver.cvl treebuffer_naive.cvl treebuffer_caterpillar.cvl treebuffer.h
|
|---|
| 13 | $(COMPARE) -checkMemoryLeak=false -spec driver.cvl treebuffer_naive.cvl -impl driver.cvl treebuffer_caterpillar.cvl
|
|---|
| 14 |
|
|---|
| 15 | ## caterpillar v.s. real time (with memory leak check)
|
|---|
| 16 | compare3: driver.cvl treebuffer_caterpillar.cvl treebuffer.cvl treebuffer.h
|
|---|
| 17 | $(COMPARE) -spec driver.cvl treebuffer_caterpillar.cvl -impl driver.cvl treebuffer.c
|
|---|
| 18 |
|
|---|
| 19 | bound: driver_heap_bound.cvl treebuffer.cvl
|
|---|
| 20 | $(VERIFY) driver_heap_bound.cvl treebuffer.cvl
|
|---|
| 21 |
|
|---|
| 22 | clean:
|
|---|
| 23 | rm -rf CIVLREP SARL_Why3 *~ |
|---|
Note:
See
TracBrowser
for help on using the repository browser.
