projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
threads: prepare system to loop over many executions
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 773d723e2a6a0db67f1419c0d7276080002bbf11..afe159ec189ad934cac85eafa7920163b296d160 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-93,6
+93,11
@@
thread_id_t ModelChecker::advance_backtracking_state()
return get_next_replay_thread();
}
+bool ModelChecker::next_execution()
+{
+ return false;
+}
+
ModelAction *ModelChecker::get_last_conflict(ModelAction *act)
{
void *loc = act->get_location();