projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
promise: get reference to ModelExecution
[model-checker.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index dc1b6c53986725a9303a156fcc888c4bb7c8b456..0ec13900b4e56b4bde68db8978bd9d5202b28946 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-616,7
+616,7
@@
bool ModelExecution::process_read(ModelAction *curr)
case READ_FROM_FUTURE: {
/* Read from future value */
struct future_value fv = node->get_future_value();
case READ_FROM_FUTURE: {
/* Read from future value */
struct future_value fv = node->get_future_value();
- Promise *promise = new Promise(curr, fv);
+ Promise *promise = new Promise(
this,
curr, fv);
curr->set_read_from_promise(promise);
promises->push_back(promise);
mo_graph->startChanges();
curr->set_read_from_promise(promise);
promises->push_back(promise);
mo_graph->startChanges();