From: Brian Norris <banorris@uci.edu>
Date: Tue, 20 Nov 2012 02:40:50 +0000 (-0800)
Subject: model: privatize set_assert()
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=f87fd6394adc4f85b8f3ff1d0695fd6ea2093e4e;ds=inline

model: privatize set_assert()
---

diff --git a/model.h b/model.h
index 15516e26..f92c8bdf 100644
--- a/model.h
+++ b/model.h
@@ -122,7 +122,6 @@ public:
 	bool assert_bug(const char *msg);
 	void assert_user_bug(const char *msg);
 
-	void set_assert() {asserted=true;}
 	bool is_deadlocked() const;
 	bool is_complete_execution() const;
 	void print_stats() const;
@@ -143,7 +142,8 @@ private:
 	bool thin_air_constraint_may_allow(const ModelAction * writer, const ModelAction *reader);
 	bool mo_may_allow(const ModelAction * writer, const ModelAction *reader);
 	bool has_asserted() {return asserted;}
-	void reset_asserted() {asserted=false;}
+	void reset_asserted() { asserted = false; }
+	void set_assert() { asserted = true; }
 	bool promises_expired() const;
 	void execute_sleep_set();
 	void wake_up_sleeping_actions(ModelAction * curr);