| [72c01cc] | 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 |
|
|---|
| [0baeebd] | 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
|
|---|
| [e3151da] | 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 |
|
|---|
| [72c01cc] | 25 | adder: adder.cvl
|
|---|
| [7e8e35c] | 26 | $(VERIFY) -inputB=5 adder.cvl
|
|---|
| [72c01cc] | 27 |
|
|---|
| 28 | adderBad: adderBad.cvl
|
|---|
| [7e8e35c] | 29 | $(VERIFY) -inputB=4 -min adderBad.cvl
|
|---|
| [72c01cc] | 30 | $(CIVL) replay adderBad.cvl
|
|---|
| [30cc8b7] | 31 |
|
|---|
| [72c01cc] | 32 | bank: bank.cvl
|
|---|
| [7e8e35c] | 33 | $(VERIFY) -inputNUM_ACCOUNTS=3 bank.cvl
|
|---|
| [30cc8b7] | 34 |
|
|---|
| [72c01cc] | 35 | barrier: barrier.cvl
|
|---|
| 36 | $(VERIFY) -inputB=4 barrier.cvl
|
|---|
| 37 |
|
|---|
| [9fb69d3] | 38 | barrier2: barrier2.cvl
|
|---|
| 39 | $(VERIFY) -inputB=4 barrier2.cvl
|
|---|
| [0baeebd] | 40 |
|
|---|
| [72c01cc] | 41 | barrierBad: barrierBad.cvl
|
|---|
| [7e8e35c] | 42 | $(VERIFY) -inputB=4 -min barrierBad.cvl
|
|---|
| 43 | $(CIVL) replay -id=0 barrierBad.cvl
|
|---|
| [72c01cc] | 44 |
|
|---|
| [9fb69d3] | 45 | blockAdder: blockAdder.cvl
|
|---|
| 46 | $(VERIFY) -inputB=6 -inputW=3 blockAdder.cvl
|
|---|
| 47 |
|
|---|
| 48 | blockAdderBad: blockAdderBad.cvl
|
|---|
| [7e8e35c] | 49 | $(VERIFY) -inputB=6 -inputW=3 -min blockAdderBad.cvl
|
|---|
| [9fb69d3] | 50 | $(CIVL) replay blockAdderBad.cvl
|
|---|
| [72c01cc] | 51 |
|
|---|
| 52 | dining: dining.cvl
|
|---|
| [0baeebd] | 53 | $(VERIFY) -inputBOUND=4 dining.cvl
|
|---|
| [72c01cc] | 54 |
|
|---|
| [30cc8b7] | 55 | diningBad:
|
|---|
| [7e8e35c] | 56 | $(VERIFY) -inputB=4 -min diningBad.cvl
|
|---|
| [72c01cc] | 57 | $(CIVL) replay diningBad.cvl
|
|---|
| 58 |
|
|---|
| [9fb69d3] | 59 | locksBad: locksBad.cvl
|
|---|
| 60 | $(VERIFY) locksBad.cvl
|
|---|
| 61 |
|
|---|
| 62 | locksBad10: locksBad10.cvl
|
|---|
| 63 | $(VERIFY) locksBad10.cvl
|
|---|
| [e3151da] | 64 |
|
|---|
| [9fb69d3] | 65 | locksGood: locksGood.cvl
|
|---|
| 66 | $(VERIFY) locksGood.cvl
|
|---|
| [e3151da] | 67 |
|
|---|
| [9fb69d3] | 68 | spawn: spawn.cvl
|
|---|
| [7e8e35c] | 69 | $(VERIFY) -inputN=10 spawn.cvl
|
|---|
| [e3151da] | 70 |
|
|---|
| [9fb69d3] | 71 | spawn2: spawn2.cvl
|
|---|
| [7e8e35c] | 72 | $(VERIFY) -inputN=10 spawn2.cvl
|
|---|
| [9fb69d3] | 73 |
|
|---|
| 74 | spawnBad: spawnBad.cvl
|
|---|
| [7e8e35c] | 75 | $(VERIFY) -inputN=10 spawnBad.cvl
|
|---|
| [72c01cc] | 76 |
|
|---|
