projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6c50e3a
)
model: privatize set_assert()
author
Brian Norris
<banorris@uci.edu>
Tue, 20 Nov 2012 02:40:50 +0000
(18:40 -0800)
committer
Brian Norris
<banorris@uci.edu>
Tue, 20 Nov 2012 02:40:50 +0000
(18:40 -0800)
model.h
patch
|
blob
|
history
diff --git
a/model.h
b/model.h
index 15516e267cfbb9b7c8947ed8d550926e59de8a98..f92c8bdf75679b1cd8b9c0915f210e1d6f667b23 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-122,7
+122,6
@@
public:
bool assert_bug(const char *msg);
void assert_user_bug(const char *msg);
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;
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;}
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);
bool promises_expired() const;
void execute_sleep_set();
void wake_up_sleeping_actions(ModelAction * curr);