projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
action: fixup printing for RMW/RMWR
[model-checker.git]
/
action.cc
diff --git
a/action.cc
b/action.cc
index 13da2b96312f0ee9c524b04fb13f0fcc997697b5..2fb498f4a05baf6dc783f7efdf2efc5bd2db0c9b 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-510,8
+510,10
@@
void ModelAction::print() const
}
uint64_t valuetoprint;
}
uint64_t valuetoprint;
- if (
type == ATOMIC_READ && reads_from != NULL
)
+ if (
is_read() && reads_from
)
valuetoprint = reads_from->value;
valuetoprint = reads_from->value;
+ else if (is_read() && reads_from_promise)
+ valuetoprint = reads_from_promise->get_value();
else
valuetoprint = value;
else
valuetoprint = value;