std::unique_ptr<RemoteProcess> remote_process_;
Exploration* exploration_ = nullptr;
- unsigned long visited_states_ = 0;
+ FILE* dot_output_ = nullptr;
- // Expect MessageType::SIMCALL_TO_STRING or MessageType::SIMCALL_DOT_LABEL
- std::string simcall_to_string(MessageType type, aid_t aid, int times_considered);
+ unsigned long visited_states_ = 0;
public:
ModelChecker(ModelChecker const&) = delete;
unsigned long get_visited_states() const { return visited_states_; }
void inc_visited_states() { visited_states_++; }
+ void dot_output(const char* fmt, ...) XBT_ATTRIB_PRINTF(2, 3);
+ void dot_output_flush()
+ {
+ if (dot_output_ != nullptr)
+ fflush(dot_output_);
+ }
+ void dot_output_close()
+ {
+ if (dot_output_ != nullptr)
+ fclose(dot_output_);
+ }
+
private:
void setup_ignore();
bool handle_message(const char* buffer, ssize_t size);