XBT_DECLARE_ENUM_CLASS(ObjectAccessType, ENTER, EXIT, BOTH);
class ObjectAccessTransition : public Transition {
- ObjectAccessType type_;
+ ObjectAccessType access_type_;
void* objaddr_;
std::string objname_;
std::string file_;
ObjectAccessTransition(aid_t issuer, int times_considered, std::stringstream& stream);
std::string to_string(bool verbose) const override;
bool depends(const Transition* other) const override;
+ bool reversible_race(const Transition* other) const override;
};
} // namespace simgrid::mc