projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
node: do not use static member variable
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 2ffa22a1028a8008c1c60e52e8e9fee627fac766..70440f5050b3c3bc0adaf157e44db0959f3c6476 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-265,7
+265,7
@@
void ModelChecker::print_summary(void)
{
printf("\n");
printf("Number of executions: %d\n", num_executions);
{
printf("\n");
printf("Number of executions: %d\n", num_executions);
- printf("Total nodes created: %d\n",
Node::
get_total_nodes());
+ printf("Total nodes created: %d\n",
node_stack->
get_total_nodes());
scheduler->print();
scheduler->print();