model: refactor end-of-execution output

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 447c77d74e56c01781d415ee95bd0a1a7b76b74a..0d27d5a305d1830b75ac3519e294816f85bc88de 100644 (file)
--- a/model.h
+++ b/model.h
@@ -252,6 +252,7 @@ private:
 
        bool have_bug_reports() const;
        void print_bugs() const;
+       void print_execution(bool printbugs) const;
 };
 
 extern ModelChecker *model;