-/* Copyright (c) 2008-2020. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2008-2021. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/mc/mc_request.hpp"
#include "src/mc/mc_safety.hpp"
#include "src/mc/mc_smx.hpp"
-#include "src/mc/remote/Client.hpp"
+#include "src/mc/remote/AppSide.hpp"
#include "src/mc/sosp/Snapshot.hpp"
#include "xbt/backtrace.hpp"
+#include <array>
#include <libunwind.h>
#endif
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()->main_loop();
+ simgrid::mc::AppSide::get()->main_loop();
}
void MC_show_deadlock()
void dumpStack(FILE* file, unw_cursor_t* cursor)
{
int nframe = 0;
- char buffer[100];
+ std::array<char, 100> buffer;
unw_word_t off;
do {
- const char* name = not unw_get_proc_name(cursor, buffer, 100, &off) ? buffer : "?";
+ const char* name = not unw_get_proc_name(cursor, buffer.data(), buffer.size(), &off) ? buffer.data() : "?";
// Unmangle C++ names:
auto realname = simgrid::xbt::demangle(name);