X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=3f4ca001aa8c85d85564cf012d10bf37b6182614;hp=115d94455c23737d949bcab4667a8bede791e037;hb=745b71256a4b96ddf4843c7f66b11d0cb3daa3cb;hpb=c8de5897b0c8caaab3a695dd677acd38770e48b3

diff --git a/model.h b/model.h
index 115d9445..3f4ca001 100644
--- a/model.h
+++ b/model.h
@@ -168,6 +168,10 @@ private:
 	Thread * take_step(ModelAction *curr);
 
 	bool check_recency(ModelAction *curr, const ModelAction *rf) const;
+
+	template <typename T>
+	bool should_read_instead(const ModelAction *curr, const ModelAction *rf, const T *other_rf) const;
+
 	ModelAction * get_last_fence_conflict(ModelAction *act) const;
 	ModelAction * get_last_conflict(ModelAction *act) const;
 	void set_backtracking(ModelAction *act);