| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 |
|
|---|
| 4 | all: ring ring2 ring3 wildcard wildcardBad \
|
|---|
| 5 | adder adderBad bank barrier barrier2 \
|
|---|
| 6 | barrierBad blockAdder blockAdderBad dining \
|
|---|
| 7 | diningBad locksBad locksBad10 locksGood \
|
|---|
| 8 | spawn spawn2 spawnBad
|
|---|
| 9 |
|
|---|
| 10 | ring: ring.cvl mp_root.cvh mp_proc.cvh
|
|---|
| 11 | $(VERIFY) -inputNPROCS_BOUND=10 -inputN_BOUND=5 ring.cvl
|
|---|
| 12 |
|
|---|
| 13 | ring2: ring2.cvl mp_root2.cvh mp_proc2.cvh
|
|---|
| 14 | $(VERIFY) -inputNPROCS=3 -simplify=false ring2.cvl
|
|---|
| 15 |
|
|---|
| 16 | ring3: ring3.cvl
|
|---|
| 17 | $(VERIFY) ring3.cvl
|
|---|
| 18 |
|
|---|
| 19 | wildcard: wildcard.cvl
|
|---|
| 20 | $(VERIFY) wildcard.cvl
|
|---|
| 21 |
|
|---|
| 22 | wildcardBad: wildcardBad.cvl
|
|---|
| 23 | $(VERIFY) wildcardBad.cvl
|
|---|
| 24 |
|
|---|
| 25 | adder: adder.cvl
|
|---|
| 26 | $(VERIFY) -inputB=5 adder.cvl
|
|---|
| 27 |
|
|---|
| 28 | adderBad: adderBad.cvl
|
|---|
| 29 | $(VERIFY) -inputB=4 -min adderBad.cvl
|
|---|
| 30 | $(CIVL) replay adderBad.cvl
|
|---|
| 31 |
|
|---|
| 32 | bank: bank.cvl
|
|---|
| 33 | $(VERIFY) -inputNUM_ACCOUNTS=3 bank.cvl
|
|---|
| 34 |
|
|---|
| 35 | barrier: barrier.cvl
|
|---|
| 36 | $(VERIFY) -inputB=4 barrier.cvl
|
|---|
| 37 |
|
|---|
| 38 | barrier2: barrier2.cvl
|
|---|
| 39 | $(VERIFY) -inputB=4 barrier2.cvl
|
|---|
| 40 |
|
|---|
| 41 | barrierBad: barrierBad.cvl
|
|---|
| 42 | $(VERIFY) -inputB=4 -min barrierBad.cvl
|
|---|
| 43 | $(CIVL) replay -id=0 barrierBad.cvl
|
|---|
| 44 |
|
|---|
| 45 | blockAdder: blockAdder.cvl
|
|---|
| 46 | $(VERIFY) -inputB=6 -inputW=3 blockAdder.cvl
|
|---|
| 47 |
|
|---|
| 48 | blockAdderBad: blockAdderBad.cvl
|
|---|
| 49 | $(VERIFY) -inputB=6 -inputW=3 -min blockAdderBad.cvl
|
|---|
| 50 | $(CIVL) replay blockAdderBad.cvl
|
|---|
| 51 |
|
|---|
| 52 | dining: dining.cvl
|
|---|
| 53 | $(VERIFY) -inputBOUND=4 dining.cvl
|
|---|
| 54 |
|
|---|
| 55 | diningBad:
|
|---|
| 56 | $(VERIFY) -inputB=4 -min diningBad.cvl
|
|---|
| 57 | $(CIVL) replay diningBad.cvl
|
|---|
| 58 |
|
|---|
| 59 | locksBad: locksBad.cvl
|
|---|
| 60 | $(VERIFY) locksBad.cvl
|
|---|
| 61 |
|
|---|
| 62 | locksBad10: locksBad10.cvl
|
|---|
| 63 | $(VERIFY) locksBad10.cvl
|
|---|
| 64 |
|
|---|
| 65 | locksGood: locksGood.cvl
|
|---|
| 66 | $(VERIFY) locksGood.cvl
|
|---|
| 67 |
|
|---|
| 68 | spawn: spawn.cvl
|
|---|
| 69 | $(VERIFY) -inputN=10 spawn.cvl
|
|---|
| 70 |
|
|---|
| 71 | spawn2: spawn2.cvl
|
|---|
| 72 | $(VERIFY) -inputN=10 spawn2.cvl
|
|---|
| 73 |
|
|---|
| 74 | spawnBad: spawnBad.cvl
|
|---|
| 75 | $(VERIFY) -inputN=10 spawnBad.cvl
|
|---|
| 76 |
|
|---|
