action_list_t * get_action_trace() { return &action_trace; }
+ CycleGraph * const get_mo_graph() { return mo_graph; }
+
SNAPSHOTALLOC
private:
int get_execution_number() const;
bool mo_may_allow(const ModelAction *writer, const ModelAction *reader);
bool promises_may_allow(const ModelAction *writer, const ModelAction *reader) const;
void set_bad_synchronization();
+ void set_bad_sc_read();
bool promises_expired() const;
bool should_wake_up(const ModelAction *curr, const Thread *thread) const;
void wake_up_sleeping_actions(ModelAction *curr);