1.23
2.0
main
test-branch
| Rev | Line | |
|---|
| [5fb1a47] | 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 | REPLAY=$(CIVL) replay
|
|---|
| 4 |
|
|---|
| 5 | all: queue_false queue_ok_true \
|
|---|
| 6 | stack_false stack_true \
|
|---|
| 7 | stateful01_false stateful01_true sync01_true
|
|---|
| 8 |
|
|---|
| 9 | queue_false: queue_false.cvl
|
|---|
| 10 | $(VERIFY) queue_false.cvl -enablePrintf=false -min
|
|---|
| 11 | $(REPLAY) queue_false.cvl
|
|---|
| 12 |
|
|---|
| 13 | queue_ok_true: queue_ok_true.cvl
|
|---|
| 14 | $(VERIFY) queue_ok_true.cvl
|
|---|
| 15 |
|
|---|
| 16 | stack_false: stack_false.cvl
|
|---|
| 17 | $(VERIFY) -inputSIZE=8 stack_false.cvl -min
|
|---|
| 18 | $(REPLAY) stack_false.cvl
|
|---|
| 19 |
|
|---|
| 20 | stack_true: stack_true.cvl
|
|---|
| 21 | $(VERIFY) -inputSIZE=8 stack_true.cvl
|
|---|
| 22 |
|
|---|
| 23 | stateful01_false: stateful01_false.cvl
|
|---|
| 24 | $(VERIFY) stateful01_false.cvl -min
|
|---|
| 25 | $(REPLAY) stateful01_false.cvl
|
|---|
| 26 |
|
|---|
| 27 | stateful01_true: stateful01_true.cvl
|
|---|
| 28 | $(VERIFY) stateful01_true.cvl
|
|---|
| 29 |
|
|---|
| 30 | sync01_true: sync01_true.cvl
|
|---|
| 31 | $(VERIFY) sync01_true.cvl
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
