]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/ModelChecker.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Constify pointer and reference local variables in src/simdag/.
[simgrid.git] / src / mc / ModelChecker.cpp
index 52c77969541e8c2417c7a389b4b0f55813f75c09..f5ef3b49cb00e3adbeb15682c2df4ea16867e428 100644 (file)
@@ -32,14 +32,7 @@ using simgrid::mc::remote;
 namespace simgrid {
 namespace mc {
 
-ModelChecker::ModelChecker(std::unique_ptr<RemoteClient> process)
-    : base_(nullptr)
-    , socket_event_(nullptr)
-    , signal_event_(nullptr)
-    , page_store_(500)
-    , process_(std::move(process))
-{
-}
+ModelChecker::ModelChecker(std::unique_ptr<RemoteClient> process) : process_(std::move(process)) {}
 
 ModelChecker::~ModelChecker()
 {