X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=432399ea22eb7124557cb8cdc9bcfa8b38b6d605;hp=e4cefd1eccae8d4aa4313baa2c987583e92dac57;hb=71a4f2447c7f0a20120da4e751d78cdeb4495ddd;hpb=8f82e4c697b8f4ca7b3d4e79ace1b9cf1dc259d2

diff --git a/model.h b/model.h
index e4cefd1e..432399ea 100644
--- a/model.h
+++ b/model.h
@@ -244,8 +244,8 @@ private:
 	struct execution_stats stats;
 	void record_stats();
 
-	bool isfeasibleotherthanRMW() const;
-	bool isfeasible() const;
+	bool is_infeasible_ignoreRMW() const;
+	bool is_infeasible() const;
 	bool is_deadlocked() const;
 	bool is_complete_execution() const;
 	bool have_bug_reports() const;