#include <unistd.h>
#include <sys/wait.h>
-#include "mc_comm_pattern.h"
-#include "mc_safety.h"
-#include "mc_liveness.h"
-#include "mc_private.h"
-#include "mc/Process.hpp"
-#include "mc_smx.h"
+#include "src/mc/mc_comm_pattern.h"
+#include "src/mc/mc_safety.h"
+#include "src/mc/mc_liveness.h"
+#include "src/mc/mc_private.h"
+#include "src/mc/Process.hpp"
+#include "src/mc/mc_smx.h"
extern "C" {
mc_visited_state_t state_test;
xbt_dynar_foreach(visited_states, cursor2, state_test){
- if (!MC_important_snapshot(state_test->system_state) && state_test->num < min2) {
+ if (!mc_model_checker->is_important_snapshot(*state_test->system_state)
+ && state_test->num < min2) {
index2 = cursor2;
min2 = state_test->num;
}
unsigned int cursor2 = 0;
unsigned int index2 = 0;
xbt_dynar_foreach(visited_pairs, cursor2, pair_test) {
- if (!MC_important_snapshot(pair_test->graph_state->system_state)
+ if (!mc_model_checker->is_important_snapshot(*pair_test->graph_state->system_state)
&& pair_test->num < min2) {
index2 = cursor2;
min2 = pair_test->num;