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
Give an explicit name to the session singleton
[simgrid.git]
/
src
/
mc
/
ModelChecker.cpp
diff --git
a/src/mc/ModelChecker.cpp
b/src/mc/ModelChecker.cpp
index
e2fa183
..
198b920
100644
(file)
--- a/
src/mc/ModelChecker.cpp
+++ b/
src/mc/ModelChecker.cpp
@@
-138,7
+138,7
@@
static void MC_report_crash(int status)
for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
XBT_INFO(" %s", s.c_str());
dumpRecordPath();
for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
XBT_INFO(" %s", s.c_str());
dumpRecordPath();
- session->log_state();
+ session
_singleton
->log_state();
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 {
@@
-220,7
+220,7
@@
bool ModelChecker::handle_message(const char* buffer, ssize_t size)
for (auto const& s : getChecker()->get_textual_trace())
XBT_INFO(" %s", s.c_str());
dumpRecordPath();
for (auto const& s : getChecker()->get_textual_trace())
XBT_INFO(" %s", s.c_str());
dumpRecordPath();
- session->log_state();
+ session
_singleton
->log_state();
this->exit(SIMGRID_MC_EXIT_SAFETY);
this->exit(SIMGRID_MC_EXIT_SAFETY);