model: print_summary() should be const
authorBrian Norris <banorris@uci.edu>
Sat, 17 Nov 2012 07:51:59 +0000 (23:51 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 17 Nov 2012 07:51:59 +0000 (23:51 -0800)
model.cc
model.h

index 199a8fc..691cd72 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 bbad36e..447c77d 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