{
char buf[100];
char *ptr = buf;
- if (mo_graph->checkForRMWViolation())
- ptr += sprintf(ptr, "[RMW atomicity]");
if (mo_graph->checkForCycles())
ptr += sprintf(ptr, "[mo cycle]");
if (priv->failed_promise)
*/
bool ModelChecker::is_infeasible() const
{
- return mo_graph->checkForRMWViolation() ||
- mo_graph->checkForCycles() ||
+ return mo_graph->checkForCycles() ||
priv->failed_promise ||
priv->too_many_reads ||
priv->bad_synchronization ||