assert_bug function fixes

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index f601145a69ad3b96c5d487962089e406f09c07e5..6057ec51929db5f89e7646b7937e135dddcf94a5 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -183,11 +183,10 @@ void ModelExecution::wake_up_sleeping_actions(ModelAction *curr)
        }
 }
 
-bool ModelExecution::assert_bug(const char *msg)
+void ModelExecution::assert_bug(const char *msg)
 {
        priv->bugs.push_back(new bug_message(msg));
-
-       return false;
+       set_assert();
 }
 
 /** @return True, if any bugs have been reported for this execution */