std::unique_ptr<RemoteClient> process_;
Checker* checker_ = nullptr;
public:
- std::shared_ptr<simgrid::mc::Snapshot> parent_snapshot_;
ModelChecker(ModelChecker const&) = delete;
ModelChecker& operator=(ModelChecker const&) = delete;
return page_store_;
}
- std::string const& get_host_name(const char* hostname)
- {
- return *this->hostnames_.insert(hostname).first;
- }
std::string const& get_host_name(std::string const& hostname)
{
return *this->hostnames_.insert(hostname).first;