/** @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
bool have_bug_reports() const;
void print_bugs() const;
+ void print_execution(bool printbugs) const;
};
extern ModelChecker *model;