Commit 1147797a authored by phlo's avatar phlo

renamed missing Schedule leftovers

parent 714ea4ca
......@@ -112,7 +112,7 @@ BV=5
PV=test/data/load.store.arithmetic.asm
SV=test/data/load.store.arithmetic.spec.smt
SCHEDULE=data/increment.invalid.schedule
TRACE=data/increment.invalid.trace
# demo targets
.PHONY: run
......@@ -132,7 +132,7 @@ run_cas_forever: $(MAIN)
.PHONY: run_replay
run_replay: $(MAIN)
cd test && ../$(MAIN) replay -v $(SCHEDULE)
cd test && ../$(MAIN) replay -v $(TRACE)
.PHONY: run_verify
run_verify: $(MAIN)
......
......@@ -4,14 +4,14 @@
**Concu**rrent **Bin**ary **E**valuator - a toolchain for simulating and bounded model checking of random memory access sequences by concurrent programs on a simple virtual machine.
Concubine can be used to generate schedules of arbitrary programs either via **simulation**, or by **solving** the resulting SMT problem as well as **replaying** them for comparison.
Concubine can be used to generate traces of arbitrary programs either via **simulation**, or by **solving** the resulting SMT problem as well as **replaying** them for comparison.
```
program*
/ \
simulate solve
\ /
schedule
/ \
simulate solve
\ /
trace
|
replay
|
......
......@@ -56,7 +56,7 @@ GTEST_FILTER += Simulator.*
# GTEST_FILTER += Experimental.*
GTEST_FILTER += Instruction.*
GTEST_FILTER += Program.*
# GTEST_FILTER += Schedule.*
GTEST_FILTER += Trace.*
# GTEST_FILTER += Shell.*
# GTEST_FILTER += Boolector.*
# GTEST_FILTER += BtorMC.*
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment