#include "src/mc/mc_safety.hpp"
#include "src/mc/mc_smx.hpp"
#include "src/mc/remote/Client.hpp"
-#include "src/mc/sosp/mc_snapshot.hpp"
+#include "src/mc/sosp/Snapshot.hpp"
#include "xbt/backtrace.hpp"
#include <libunwind.h>
void MC_run()
{
- simgrid::mc::processes_time.resize(SIMIX_process_get_maxpid());
+ simgrid::mc::processes_time.resize(simgrid::kernel::actor::get_maxpid());
MC_ignore_heap(simgrid::mc::processes_time.data(),
simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
- simgrid::mc::Client::get()->mainLoop();
+ simgrid::mc::Client::get()->main_loop();
}
void MC_show_deadlock()
{
XBT_INFO("**************************");
- XBT_INFO("*** DEAD-LOCK DETECTED ***");
+ XBT_INFO("*** DEADLOCK DETECTED ***");
XBT_INFO("**************************");
XBT_INFO("Counter-example execution trace:");
- for (auto const& s : mc_model_checker->getChecker()->getTextualTrace())
+ for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
XBT_INFO(" %s", s.c_str());
simgrid::mc::dumpRecordPath();
- simgrid::mc::session->logState();
+ simgrid::mc::session->log_state();
}
void MC_automaton_load(const char *file)
}
}
-
-static void MC_dump_stacks(FILE* file)
-{
- int nstack = 0;
- for (auto const& stack : mc_model_checker->process().stack_areas()) {
- fprintf(file, "Stack %i:\n", nstack);
- nstack++;
-
- simgrid::mc::UnwindContext context;
- unw_context_t raw_context =
- (unw_context_t) mc_model_checker->process().read<unw_context_t>(
- simgrid::mc::remote((unw_context_t *)stack.context));
- context.initialize(&mc_model_checker->process(), &raw_context);
-
- unw_cursor_t cursor = context.cursor();
- simgrid::mc::dumpStack(file, std::move(cursor));
- }
-}
#endif
double MC_process_clock_get(smx_actor_t process)