projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
d6aa3d7
)
model: print_summary() should be const
author
Brian Norris
<banorris@uci.edu>
Sat, 17 Nov 2012 07:51:59 +0000
(23:51 -0800)
committer
Brian Norris
<banorris@uci.edu>
Sat, 17 Nov 2012 07:51:59 +0000
(23:51 -0800)
model.cc
patch
|
blob
|
history
model.h
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index 199a8fc3505f7273a8cab4dedcbb64db693d96cf..691cd72bbbbd5275473ddf0993f70138256a0f0b 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-2287,7
+2287,8
@@
void ModelChecker::dumpGraph(char *filename) {
}
#endif
}
#endif
-void ModelChecker::print_summary()
+/** @brief Prints an execution trace summary. */
+void ModelChecker::print_summary() const
{
#if SUPPORT_MOD_ORDER_DUMP
scheduler->print();
{
#if SUPPORT_MOD_ORDER_DUMP
scheduler->print();
diff --git
a/model.h
b/model.h
index bbad36e40ae727a93fe0e8e927aeb0ebe4b91da5..447c77d74e56c01781d415ee95bd0a1a7b76b74a 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-87,8
+87,7
@@
public:
/** @returns the context for the main model-checking system thread */
ucontext_t * get_system_context() { return &system_context; }
/** @returns the context for the main model-checking system thread */
ucontext_t * get_system_context() { return &system_context; }
- /** Prints an execution summary with trace information. */
- void print_summary();
+ void print_summary() const;
#if SUPPORT_MOD_ORDER_DUMP
void dumpGraph(char *filename);
#endif
#if SUPPORT_MOD_ORDER_DUMP
void dumpGraph(char *filename);
#endif