Merge branch 'master' of https://framagit.org/simgrid/simgrid

diff --cc src/mc/api/State.cpp
Simple merge

diff --cc src/mc/api/strategy/BasicStrategy.hpp
index d1ee3a8,452efd4..67c1ac8
--- 1/src/mc/api/strategy/BasicStrategy.hpp
--- 2/src/mc/api/strategy/BasicStrategy.hpp
+++ b/src/mc/api/strategy/BasicStrategy.hpp
@@@ -6,23 -6,20 +6,25 @@@
  #ifndef SIMGRID_MC_BASICSTRATEGY_HPP
  #define SIMGRID_MC_BASICSTRATEGY_HPP
  
+ #include "Strategy.hpp"
+ 
  namespace simgrid::mc {
  
 -/** Basic MC guiding class which corresponds to no guide at all (random choice) */
 +/** Basic MC guiding class which corresponds to no guide. When asked for different states
 + *  it will follow a depth first search politics to minize the number of opened states. */
  class BasicStrategy : public Strategy {
 +    int depth_ = 100000; // Arbitrary starting point. next_transition must return a positiv value to work with threshold in DFSExplorer
 +
  public:
 +  void copy_from(const Strategy* strategy) override
 +  {
 +    const BasicStrategy* cast_strategy = static_cast<BasicStrategy const*>(strategy);
 +    xbt_assert(cast_strategy != nullptr);
 +    depth_ = cast_strategy->depth_ - 1;
 +    xbt_assert(depth_ > 0, "The exploration reached a depth greater than 100000. We will stop here to prevent weird interaction with DFSExplorer.");
 +  }
    BasicStrategy()                     = default;
    ~BasicStrategy() override           = default;
 -  BasicStrategy(const BasicStrategy&) = delete;
 -  BasicStrategy& operator=(const BasicStrategy&)
 -  { /* nothing to copy over while cloning */
 -    return *this;
 -  }
  
    std::pair<aid_t, int> next_transition() const override
    {

diff --cc src/mc/api/strategy/Strategy.hpp
Simple merge

diff --cc src/mc/explo/DFSExplorer.cpp
Simple merge

diff --cc src/mc/mc_config.cpp
Simple merge

diff --cc src/mc/mc_config.hpp
Simple merge

diff --cc tools/cmake/DefinePackages.cmake
Simple merge