| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 |
|
|---|
| 4 | all: fib_bench_false fib_bench_longer_false fib_bench_longer_true fib_bench_longest_false fib_bench_longest_true \
|
|---|
| 5 | fib_bench_true lazy01_false queue_false queue_ok_true reorder_5_false sigma_false singleton_false \
|
|---|
| 6 | singleton_with-uninit-problems-true stack_false stack_true stateful01_false stateful01_true sync01_true \
|
|---|
| 7 | twostage_3_false
|
|---|
| 8 |
|
|---|
| 9 | fib_bench_false: fib_bench_false.c
|
|---|
| 10 | $(VERIFY) fib_bench_false.c
|
|---|
| 11 | $(CIVL) replay fib_bench_false.c
|
|---|
| 12 |
|
|---|
| 13 | fib_bench_longer_false: fib_bench_longer_false.c
|
|---|
| 14 | $(VERIFY) fib_bench_longer_false.c
|
|---|
| 15 | $(CIVL) replay fib_bench_longer_false.c
|
|---|
| 16 |
|
|---|
| 17 | fib_bench_longer_true: fib_bench_longer_true.c
|
|---|
| 18 | $(VERIFY) fib_bench_longer_true.c
|
|---|
| 19 |
|
|---|
| 20 | fib_bench_longest_false: fib_bench_longest_false.c
|
|---|
| 21 | $(VERIFY) fib_bench_longest_false.c
|
|---|
| 22 | $(CIVL) replay fib_bench_longest_false.c
|
|---|
| 23 |
|
|---|
| 24 | fib_bench_longest_true: fib_bench_longest_true.c
|
|---|
| 25 | $(VERIFY) fib_bench_longest_true.c
|
|---|
| 26 |
|
|---|
| 27 | fib_bench_true: fib_bench_true.c
|
|---|
| 28 | $(VERIFY) fib_bench_true.c
|
|---|
| 29 |
|
|---|
| 30 | lazy01_false: lazy01_false.c
|
|---|
| 31 | $(VERIFY) lazy01_false.c
|
|---|
| 32 | $(CIVL) replay lazy01_false.c
|
|---|
| 33 |
|
|---|
| 34 | queue_false: queue_false.c
|
|---|
| 35 | $(VERIFY) queue_false.c
|
|---|
| 36 | $(CIVL) replay queue_false.c
|
|---|
| 37 |
|
|---|
| 38 | queue_ok_true: queue_ok_true.c
|
|---|
| 39 | $(VERIFY) queue_ok_true.c
|
|---|
| 40 |
|
|---|
| 41 | reorder_5_false: reorder_5_false.c
|
|---|
| 42 | $(VERIFY) reorder_5_false.c
|
|---|
| 43 | $(CIVL) replay reorder_5_false.c
|
|---|
| 44 |
|
|---|
| 45 | sigma_false: sigma_false.c
|
|---|
| 46 | $(VERIFY) sigma_false.c
|
|---|
| 47 | $(CIVL) replay sigma_false.c
|
|---|
| 48 |
|
|---|
| 49 | singleton_false: singleton_false.c
|
|---|
| 50 | $(VERIFY) singleton_false.c
|
|---|
| 51 | $(CIVL) replay singleton_false.c
|
|---|
| 52 |
|
|---|
| 53 | singleton_with-uninit-problems-true: singleton_with-uninit-problems-true.c
|
|---|
| 54 | $(VERIFY) singleton_with-uninit-problems-true.c
|
|---|
| 55 |
|
|---|
| 56 | stack_false: stack_false.c
|
|---|
| 57 | $(VERIFY) stack_false.c
|
|---|
| 58 | $(CIVL) replay stack_false.c
|
|---|
| 59 |
|
|---|
| 60 | stack_true: stack_true.c
|
|---|
| 61 | $(VERIFY) stack_true.c
|
|---|
| 62 |
|
|---|
| 63 | stateful01_false: stateful01_false.c
|
|---|
| 64 | $(VERIFY) stateful01_false.c
|
|---|
| 65 | $(CIVL) replay stateful01_false.c
|
|---|
| 66 |
|
|---|
| 67 | stateful01_true: stateful01_true.c
|
|---|
| 68 | $(VERIFY) stateful01_true.c
|
|---|
| 69 |
|
|---|
| 70 | sync01_true: sync01_true.c
|
|---|
| 71 | $(VERIFY) sync01_true.c
|
|---|
| 72 |
|
|---|
| 73 | twostage_3_false: twostage_3_false.c
|
|---|
| 74 | $(VERIFY) twostage_3_false.c
|
|---|
| 75 | $(CIVL) replay twostage_3_false.c
|
|---|
| 76 |
|
|---|
| 77 | clean:
|
|---|
| 78 | rm -rf CIVLREP *~
|
|---|
