1.23
2.0
main
test-branch
| Line | |
|---|
| 1 |
|
|---|
| 2 | CIVL=civl
|
|---|
| 3 | VERIFY=$(CIVL) verify
|
|---|
| 4 |
|
|---|
| 5 | all: algebra assoc derivative diffusion division \
|
|---|
| 6 | divisionBad laplace matmat matmatBad mean meanBad
|
|---|
| 7 |
|
|---|
| 8 | algebra: algebra.cvl
|
|---|
| 9 | $(VERIFY) algebra.cvl
|
|---|
| 10 |
|
|---|
| 11 | assoc: assoc.cvl
|
|---|
| 12 | $(VERIFY) -inputB=10 assoc.cvl
|
|---|
| 13 |
|
|---|
| 14 | derivative: derivative.cvl
|
|---|
| 15 | $(VERIFY) derivative.cvl
|
|---|
| 16 |
|
|---|
| 17 | diffusion: diffusion.cvl
|
|---|
| 18 | $(VERIFY) diffusion.cvl
|
|---|
| 19 |
|
|---|
| 20 | division: division.cvl
|
|---|
| 21 | $(VERIFY) division.cvl
|
|---|
| 22 |
|
|---|
| 23 | divisionBad: divisionBad.cvl
|
|---|
| 24 | $(VERIFY) divisionBad.cvl
|
|---|
| 25 | $(CIVL) replay divisionBad.cvl
|
|---|
| 26 |
|
|---|
| 27 | laplace: laplace.cvl
|
|---|
| 28 | $(VERIFY) laplace.cvl
|
|---|
| 29 |
|
|---|
| 30 | matmat: matmat.cvl
|
|---|
| 31 | $(VERIFY) matmat.cvl -inputBOUND=3
|
|---|
| 32 |
|
|---|
| 33 | matmatBad: matmatBad.cvl
|
|---|
| 34 | $(VERIFY) -min matmatBad.cvl -inputBOUND=3
|
|---|
| 35 | $(CIVL) replay matmatBad.cvl
|
|---|
| 36 |
|
|---|
| 37 | mean: mean.cvl
|
|---|
| 38 | $(VERIFY) -inputB=10 mean.cvl
|
|---|
| 39 |
|
|---|
| 40 | meanBad: meanBad.cvl
|
|---|
| 41 | $(VERIFY) -min -inputB=10 meanBad.cvl
|
|---|
| 42 | $(CIVL) replay meanBad.cvl
|
|---|
| 43 |
|
|---|
| 44 | clean:
|
|---|
| 45 | rm -rf CIVLREP *~
|
|---|
| 46 |
|
|---|
| 47 |
|
|---|
| 48 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
