Summary
- Reduce the amount of dupplicated code between the constructors of mc::State (details)
- One constructor less in mc::WutState (and one ugly trick less) (details)
The file was modified | src/mc/explo/simgrid_mc.cpp |
The file was modified | src/mc/api/states/State.cpp |
The file was modified | src/mc/explo/Exploration.cpp |
The file was modified | src/mc/api/states/BFSWutState.cpp |
The file was modified | src/mc/api/states/WutState.cpp |
The file was modified | src/mc/api/states/WutState.hpp |