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
The checker now have a reference to the session
[simgrid.git]
/
src
/
mc
/
checker
/
CommunicationDeterminismChecker.cpp
diff --git
a/src/mc/checker/CommunicationDeterminismChecker.cpp
b/src/mc/checker/CommunicationDeterminismChecker.cpp
index
47b7ad5
..
b0f373a
100644
(file)
--- a/
src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/
src/mc/checker/CommunicationDeterminismChecker.cpp
@@
-255,7
+255,7
@@
void CommunicationDeterminismChecker::complete_comm_pattern(RemotePtr<kernel::ac
}
}
}
}
-CommunicationDeterminismChecker::CommunicationDeterminismChecker(
) : Checker(
) {}
+CommunicationDeterminismChecker::CommunicationDeterminismChecker(
Session* session) : Checker(session
) {}
CommunicationDeterminismChecker::~CommunicationDeterminismChecker() = default;
CommunicationDeterminismChecker::~CommunicationDeterminismChecker() = default;
@@
-533,9
+533,9
@@
void CommunicationDeterminismChecker::run()
this->real_run();
}
this->real_run();
}
-Checker* createCommunicationDeterminismChecker()
+Checker* createCommunicationDeterminismChecker(
Session* session
)
{
{
- return new CommunicationDeterminismChecker();
+ return new CommunicationDeterminismChecker(
session
);
}
} // namespace mc
}
} // namespace mc