projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
cyclegraph: uniform spacing, style
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index b4f75e0336a3afdc3978b7ecb086e459423df455..4da3cd60fd7db93c147fba60faf929d6fccb9a0f 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-91,7
+91,7
@@
void Node::print()
if (action)
action->print();
else
if (action)
action->print();
else
-
printf
("******** empty action ********\n");
+
model_print
("******** empty action ********\n");
}
/** @brief Prints info about may_read_from set */
}
/** @brief Prints info about may_read_from set */
@@
-495,14
+495,14
@@
NodeStack::~NodeStack()
void NodeStack::print()
{
void NodeStack::print()
{
-
printf
("............................................\n");
-
printf
("NodeStack printing node_list:\n");
+
model_print
("............................................\n");
+
model_print
("NodeStack printing node_list:\n");
for (unsigned int it = 0; it < node_list.size(); it++) {
if (it == this->iter)
for (unsigned int it = 0; it < node_list.size(); it++) {
if (it == this->iter)
-
printf
("vvv following action is the current iterator vvv\n");
+
model_print
("vvv following action is the current iterator vvv\n");
node_list[it]->print();
}
node_list[it]->print();
}
-
printf
("............................................\n");
+
model_print
("............................................\n");
}
/** Note: The is_enabled set contains what actions were enabled when
}
/** Note: The is_enabled set contains what actions were enabled when