+
+ /** @brief The cumulative execution stats */
+ struct execution_stats stats;
+ void record_stats();
+
+ void print_infeasibility(const char *prefix) const;
+ bool is_feasible_prefix_ignore_relseq() const;
+ bool is_infeasible() const;
+ bool is_deadlocked() const;
+ bool is_complete_execution() const;
+ bool have_bug_reports() const;
+ void print_bugs() const;
+ void print_execution(bool printbugs) const;
+ void print_stats() const;
+
+ friend void user_main_wrapper();