model: do not call isfinalfeasible() too many times

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 4a55c52b5e9f2ac637b952f12598d7374ccb561f..4e4dcf0ff702b9e825646d0dc56407b81cbed38e 100644 (file)
--- a/model.h
+++ b/model.h
@@ -42,7 +42,14 @@ public:
        ucontext_t * get_system_context(void) { return system_context; }
 
        void check_current_action(void);
-       void print_summary(void);
+
+       /**
+        * Prints an execution summary with trace information.
+        * @param feasible Formats outputting according to whether or not the
+        * current trace is feasible. Defaults to feasible = true.
+        */
+       void print_summary(bool feasible = true);
+
        Thread * schedule_next_thread();
 
        int add_thread(Thread *t);