- ModelAction(action_type_t type, memory_order order, void *loc, int value);
+ ModelAction(action_type_t type, memory_order order, void *loc, int value = VALUE_NONE);
memory_order get_mo() const { return order; }
void * get_location() const { return location; }
int get_seq_number() const { return seq_number; }
memory_order get_mo() const { return order; }
void * get_location() const { return location; }
int get_seq_number() const { return seq_number; }