Changes

Summary

use intrusive_ptr instead of std::shared_ptr around mc::State (details)

Commit f74091dc312d4514b972e9d78a55f44d06027e22 by Martin Quinson use intrusive_ptr instead of std::shared_ptr around mc::State
The file was modified	examples/python/mc-failing-assert/mc-failing-assert.tesh
The file was modified	src/mc/explo/DFSExplorer.hpp
The file was modified	src/mc/explo/OutOfOrderExplorer.cpp
The file was modified	src/mc/explo/reduction/ODPOR.cpp
The file was modified	src/mc/api/states/State.hpp
The file was modified	src/mc/api/states/SleepSetState.hpp
The file was modified	src/mc/api/states/State.cpp
The file was modified	src/mc/api/states/WutState.cpp
The file was modified	src/mc/explo/reduction/Reduction.hpp
The file was modified	src/mc/explo/reduction/SDPOR.hpp
The file was modified	src/mc/explo/reduction/BFSODPOR.hpp
The file was modified	src/mc/api/states/BFSWutState.cpp
The file was modified	src/mc/explo/reduction/BFSODPOR.cpp
The file was modified	src/mc/explo/reduction/ODPOR.hpp
The file was modified	src/mc/mc_forward.hpp
The file was modified	src/mc/explo/reduction/DPOR.hpp
The file was modified	src/mc/explo/Exploration.cpp
The file was modified	examples/python/mc-centralized-mutex/mc-centralized-mutex.tesh
The file was modified	src/mc/explo/DFSExplorer.cpp
The file was modified	src/mc/explo/OutOfOrderExplorer.hpp
The file was modified	src/mc/api/states/SleepSetState.cpp
The file was modified	src/mc/api/states/WutState.hpp
The file was modified	src/mc/api/states/BFSWutState.hpp
The file was modified	src/mc/explo/reduction/NoReduction.hpp
The file was modified	src/mc/explo/reduction/Reduction.cpp