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 mc::SafetyChecker to mc::DFSExplorer
[simgrid.git]
/
src
/
mc
/
api.cpp
diff --git
a/src/mc/api.cpp
b/src/mc/api.cpp
index
96d76b6
..
a953919
100644
(file)
--- a/
src/mc/api.cpp
+++ b/
src/mc/api.cpp
@@
-31,7
+31,7
@@
XBT_LOG_EXTERNAL_CATEGORY(mc_global);
namespace simgrid {
namespace mc {
namespace simgrid {
namespace mc {
-simgrid::mc::Exploration* Api::initialize(char** argv, simgrid::mc::
Checker
Algorithm algo)
+simgrid::mc::Exploration* Api::initialize(char** argv, simgrid::mc::
Exploration
Algorithm algo)
{
session_ = std::make_unique<simgrid::mc::Session>([argv] {
int i = 1;
{
session_ = std::make_unique<simgrid::mc::Session>([argv] {
int i = 1;
@@
-45,19
+45,19
@@
simgrid::mc::Exploration* Api::initialize(char** argv, simgrid::mc::CheckerAlgor
simgrid::mc::Exploration* explo;
switch (algo) {
simgrid::mc::Exploration* explo;
switch (algo) {
- case
Checker
Algorithm::CommDeterminism:
+ case
Exploration
Algorithm::CommDeterminism:
explo = simgrid::mc::create_communication_determinism_checker(session_.get());
break;
explo = simgrid::mc::create_communication_determinism_checker(session_.get());
break;
- case
Checker
Algorithm::UDPOR:
+ case
Exploration
Algorithm::UDPOR:
explo = simgrid::mc::create_udpor_checker(session_.get());
break;
explo = simgrid::mc::create_udpor_checker(session_.get());
break;
- case
Checker
Algorithm::Safety:
- explo = simgrid::mc::create_
safety_checker
(session_.get());
+ case
Exploration
Algorithm::Safety:
+ explo = simgrid::mc::create_
dfs_exploration
(session_.get());
break;
break;
- case
Checker
Algorithm::Liveness:
+ case
Exploration
Algorithm::Liveness:
explo = simgrid::mc::create_liveness_checker(session_.get());
break;
explo = simgrid::mc::create_liveness_checker(session_.get());
break;