return priv->bugs.size() != 0;
}
-/** @return True, if any fatal bugs have been reported for this execution.
- * Any bug other than a data race is considered a fatal bug. Data races
- * are not considered fatal unless the number of races is exceeds
- * a threshold (temporarily set as 15).
- */
-bool ModelExecution::have_fatal_bug_reports() const
-{
- return priv->bugs.size() != 0;
-}
-
SnapVector<bug_message *> * ModelExecution::get_bugs() const
{
return &priv->bugs;
bool assert_bug(const char *msg);
bool have_bug_reports() const;
- bool have_fatal_bug_reports() const;
SnapVector<bug_message *> * get_bugs() const;
/* Infeasible -> don't take any more steps */
if (execution->is_infeasible())
return true;
- else if (execution->isfeasibleprefix() && execution->have_fatal_bug_reports()) {
+ else if (execution->isfeasibleprefix() && execution->have_bug_reports()) {
execution->set_assert();
return true;
} else if (execution->isFinished()) {