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
snake_case some surviving camels
[simgrid.git]
/
src
/
mc
/
checker
/
LivenessChecker.cpp
diff --git
a/src/mc/checker/LivenessChecker.cpp
b/src/mc/checker/LivenessChecker.cpp
index ebdddcf24bdd197f6cc72f50f87800abfdb55817..1b7953ac9fae4f11478797e3c15cb458d1477842 100644
(file)
--- a/
src/mc/checker/LivenessChecker.cpp
+++ b/
src/mc/checker/LivenessChecker.cpp
@@
-116,7
+116,7
@@
void LivenessChecker::replay()
}
}
}
}
-
session->
restore_initial_state();
+
get_session().
restore_initial_state();
/* Traverse the stack from the initial state and re-execute the transitions */
int depth = 1;
/* Traverse the stack from the initial state and re-execute the transitions */
int depth = 1;
@@
-407,7
+407,7
@@
void LivenessChecker::run()
api::get().log_state();
}
api::get().log_state();
}
-Checker* create
LivenessC
hecker(Session* session)
+Checker* create
_liveness_c
hecker(Session* session)
{
return new LivenessChecker(session);
}
{
return new LivenessChecker(session);
}