std::shared_ptr<simgrid::mc::State> graph_state = nullptr; /* System state included */
xbt_automaton_state_t automaton_state = nullptr;
std::vector<int> atomic_propositions;
int requests = 0;
int depth = 0;
std::shared_ptr<simgrid::mc::State> graph_state = nullptr; /* System state included */
xbt_automaton_state_t automaton_state = nullptr;
std::vector<int> atomic_propositions;
int requests = 0;
int depth = 0;