projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
action: print promise number, not just ?
[model-checker.git]
/
action.cc
diff --git
a/action.cc
b/action.cc
index 130902491a97f794f13e98b917bb84522e8b0f64..81f447a5b13f9d8e3db3e352e4be49f4659559b0 100644
(file)
--- a/
action.cc
+++ b/
action.cc
@@
-543,7
+543,13
@@
void ModelAction::print() const
if (is_read()) {
if (reads_from)
model_print(" Rf: %-3d", reads_from->get_seq_number());
if (is_read()) {
if (reads_from)
model_print(" Rf: %-3d", reads_from->get_seq_number());
- else
+ else if (reads_from_promise) {
+ int idx = model->get_promise_number(reads_from_promise);
+ if (idx >= 0)
+ model_print(" Rf: P%-2d", idx);
+ else
+ model_print(" RF: P? ");
+ } else
model_print(" Rf: ? ");
}
if (cv) {
model_print(" Rf: ? ");
}
if (cv) {