X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=74866c65b6824138c09eef3400d49d6527000d27;hp=3f1103e543fa987164cc8d75f7c0c92779a6ff86;hb=7a0167d52294a9707f81a54d74009c6f82346d18;hpb=9fb0b534cd05f395ab508a30624997e43ef0cfc9

diff --git a/model.h b/model.h
index 3f1103e5..74866c65 100644
--- a/model.h
+++ b/model.h
@@ -243,7 +243,7 @@ private:
 	struct execution_stats stats;
 	void record_stats();
 
-	bool isfinalfeasible() const;
+	bool is_feasible_prefix_ignore_relseq() const;
 	bool is_infeasible_ignoreRMW() const;
 	bool is_infeasible() const;
 	bool is_deadlocked() const;