A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional...
[simgrid.git]
/
src
/
mc
/
explo
/
Exploration.cpp
diff --git
a/src/mc/explo/Exploration.cpp
b/src/mc/explo/Exploration.cpp
index 6efe84181fffe982e08568793acf932bf428c70b..5d35347678d94341f7e51827f4e6d4937b751721 100644
(file)
--- a/
src/mc/explo/Exploration.cpp
+++ b/
src/mc/explo/Exploration.cpp
@@
-8,7
+8,7
@@
#include "src/mc/mc_exit.hpp"
#include "src/mc/mc_private.hpp"
#include "src/mc/mc_exit.hpp"
#include "src/mc/mc_private.hpp"
-#if SIMGRID_HAVE_MC
+#if SIMGRID_HAVE_
STATEFUL_
MC
#include "src/mc/sosp/RemoteProcessMemory.hpp"
#endif
#include "src/mc/sosp/RemoteProcessMemory.hpp"
#endif
@@
-91,7
+91,7
@@
XBT_ATTRIB_NORETURN void Exploration::report_crash(int status)
if (xbt_log_no_loc) {
XBT_INFO("Stack trace not displayed because you passed --log=no_loc");
} else {
if (xbt_log_no_loc) {
XBT_INFO("Stack trace not displayed because you passed --log=no_loc");
} else {
-#if SIMGRID_HAVE_MC
+#if SIMGRID_HAVE_
STATEFUL_
MC
const auto* memory = get_remote_app().get_remote_process_memory();
if (memory) {
XBT_INFO("Stack trace:");
const auto* memory = get_remote_app().get_remote_process_memory();
if (memory) {
XBT_INFO("Stack trace:");