| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=${CIVL} verify -enablePrintf=false
|
|---|
| 3 | REPLAY=${CIVL} replay
|
|---|
| 4 |
|
|---|
| 5 | all: adder adderBad bank barrier barrier2 barrierBad blockAdder \
|
|---|
| 6 | blockAdderBad boundedBuffer boundedBuffer_bad dining diningBad dlqueue \
|
|---|
| 7 | exitBarrier hybrid locksBad locksBad10 locksGood mpi-pthreads readerWriter \
|
|---|
| 8 | ring ring1 ring1Bad ring2 ring2Bad ring3 ring3Bad spawn spawn2 spawnBad \
|
|---|
| 9 | two_lock_queue waitSelf wildcard wildcardBad
|
|---|
| 10 |
|
|---|
| 11 | adder: adder.cvl
|
|---|
| 12 | $(VERIFY) -inputB=5 adder.cvl
|
|---|
| 13 |
|
|---|
| 14 | adderBad: adderBad.cvl
|
|---|
| 15 | $(VERIFY) -inputB=4 -min adderBad.cvl
|
|---|
| 16 | $(REPLAY) adderBad.cvl
|
|---|
| 17 |
|
|---|
| 18 | bank: bank.cvl
|
|---|
| 19 | $(VERIFY) -inputNUM_ACCOUNTS=3 bank.cvl
|
|---|
| 20 |
|
|---|
| 21 | barrier: barrier.cvl
|
|---|
| 22 | ${VERIFY} -inputB=6 barrier.cvl
|
|---|
| 23 |
|
|---|
| 24 | barrier2: barrier2.cvl
|
|---|
| 25 | $(VERIFY) -inputB=4 barrier2.cvl
|
|---|
| 26 |
|
|---|
| 27 | barrierBad: barrierBad.cvl
|
|---|
| 28 | $(VERIFY) -inputB=4 -min barrierBad.cvl
|
|---|
| 29 | $(REPLAY) -id=0 barrierBad.cvl
|
|---|
| 30 |
|
|---|
| 31 | blockAdder: blockAdder.cvl
|
|---|
| 32 | $(VERIFY) -inputB=6 -inputW=3 blockAdder.cvl
|
|---|
| 33 |
|
|---|
| 34 | blockAdderBad: blockAdderBad.cvl
|
|---|
| 35 | $(VERIFY) -inputB=6 -inputW=3 -min blockAdderBad.cvl
|
|---|
| 36 | $(REPLAY) blockAdderBad.cvl
|
|---|
| 37 |
|
|---|
| 38 | boundedBuffer: boundedBuffer.cvl
|
|---|
| 39 | ${VERIFY} boundedBuffer.cvl
|
|---|
| 40 |
|
|---|
| 41 | boundedBuffer_bad: boundedBuffer_bad.cvl
|
|---|
| 42 | ${VERIFY} -min boundedBuffer_bad.cvl
|
|---|
| 43 | ${REPLAY} boundedBuffer_bad.cvl
|
|---|
| 44 |
|
|---|
| 45 | dining: dining.cvl
|
|---|
| 46 | ${VERIFY} dining.cvl
|
|---|
| 47 |
|
|---|
| 48 | diningBad: diningBad.cvl
|
|---|
| 49 | ${VERIFY} -min diningBad.cvl
|
|---|
| 50 | ${REPLAY} diningBad.cvl
|
|---|
| 51 |
|
|---|
| 52 | dlqueue: dlqueue.cvl
|
|---|
| 53 | $(VERIFY) dlqueue.cvl
|
|---|
| 54 |
|
|---|
| 55 | exitBarrier: exitBarrier.cvl
|
|---|
| 56 | $(VERIFY) exitBarrier.cvl
|
|---|
| 57 |
|
|---|
| 58 | hybrid: hybrid.cvl
|
|---|
| 59 | $(VERIFY) -inputNPROCS=2 hybrid.cvl
|
|---|
| 60 |
|
|---|
| 61 | locksBad: locksBad.cvl
|
|---|
| 62 | $(VERIFY) locksBad.cvl
|
|---|
| 63 |
|
|---|
| 64 | locksBad10: locksBad10.cvl
|
|---|
| 65 | $(VERIFY) locksBad10.cvl
|
|---|
| 66 |
|
|---|
| 67 | locksGood: locksGood.cvl
|
|---|
| 68 | $(VERIFY) locksGood.cvl
|
|---|
| 69 |
|
|---|
| 70 | mpi-pthreads: mpi-pthreads.cvl
|
|---|
| 71 | $(VERIFY) mpi-pthreads.cvl
|
|---|
| 72 |
|
|---|
| 73 | readerWriter: readerWriter.cvl
|
|---|
| 74 | $(VERIFY) readerWriter.cvl
|
|---|
| 75 |
|
|---|
| 76 | ring: ring.cvl mp_root.cvh mp_proc.cvh
|
|---|
| 77 | $(VERIFY) -deadlock=potential -inputNPROCS_BOUND=10 -inputN_BOUND=5 ring.cvl
|
|---|
| 78 |
|
|---|
| 79 | ring1: ring1.cvl mp_root.cvh mp_proc.cvh
|
|---|
| 80 | $(VERIFY) -deadlock=potential -inputNPROCS=3 ring1.cvl
|
|---|
| 81 |
|
|---|
| 82 | ring1Bad: ring1Bad.cvl mp_root.cvh mp_proc.cvh
|
|---|
| 83 | $(VERIFY) -deadlock=potential -inputNPROCS=3 ring1Bad.cvl
|
|---|
| 84 |
|
|---|
| 85 | ring2: ring2.cvl mp_root2.cvh mp_proc2.cvh
|
|---|
| 86 | $(VERIFY) -inputNPROCS=3 -deadlock=potential ring2.cvl
|
|---|
| 87 |
|
|---|
| 88 | ring2Bad: ring2Bad.cvl mp_root.cvh mp_proc.cvh
|
|---|
| 89 | $(VERIFY) -inputNPROCS=3 -deadlock=potential ring2Bad.cvl
|
|---|
| 90 |
|
|---|
| 91 | ring3: ring3.cvl
|
|---|
| 92 | $(VERIFY) -deadlock=potential ring3.cvl
|
|---|
| 93 |
|
|---|
| 94 | ring3Bad: ring3Bad.cvl
|
|---|
| 95 | $(VERIFY) -deadlock=potential ring3Bad.cvl
|
|---|
| 96 |
|
|---|
| 97 | spawn: spawn.cvl
|
|---|
| 98 | $(VERIFY) -inputN=10 spawn.cvl
|
|---|
| 99 |
|
|---|
| 100 | spawn2: spawn2.cvl
|
|---|
| 101 | $(VERIFY) -inputN=10 spawn2.cvl
|
|---|
| 102 |
|
|---|
| 103 | spawnBad: spawnBad.cvl
|
|---|
| 104 | $(VERIFY) -inputN=10 spawnBad.cvl
|
|---|
| 105 |
|
|---|
| 106 | two_lock_queue: two_lock_queue.cvl
|
|---|
| 107 | $(VERIFY) two_lock_queue.cvl
|
|---|
| 108 |
|
|---|
| 109 | waitSelf: waitSelf.cvl
|
|---|
| 110 | $(VERIFY) waitSelf.cvl
|
|---|
| 111 |
|
|---|
| 112 | wildcard: wildcard.cvl
|
|---|
| 113 | $(VERIFY) wildcard.cvl
|
|---|
| 114 |
|
|---|
| 115 | wildcardBad: wildcardBad.c
|
|---|
| 116 | $(VERIFY) wildcardBad.c
|
|---|
