allow the fuzzer to continue if only a few data races are detected

[c11tester.git] / execution.h

diff --git a/execution.h b/execution.h
index ced21e4c90f17777c953193a6d412c1b4390242b..21b152b582c2f3ac32164975ecf267b8ebf9489e 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -68,7 +68,11 @@ public:
        bool check_action_enabled(ModelAction *curr);
 
        bool assert_bug(const char *msg);
+       bool assert_race(const char *msg);
+
        bool have_bug_reports() const;
+       bool have_fatal_bug_reports() const;
+
        SnapVector<bug_message *> * get_bugs() const;
 
        bool has_asserted() const;