-set(MC_SRC_STATEFUL
- src/mc/explo/CommunicationDeterminismChecker.cpp
- src/mc/explo/LivenessChecker.cpp
- src/mc/explo/LivenessChecker.hpp
- src/mc/explo/UdporChecker.cpp
- src/mc/explo/UdporChecker.hpp
-
- src/mc/explo/udpor/Comb.hpp
- src/mc/explo/udpor/Configuration.hpp
- src/mc/explo/udpor/Configuration.cpp
- src/mc/explo/udpor/EventSet.cpp
- src/mc/explo/udpor/EventSet.hpp
- src/mc/explo/udpor/History.cpp
- src/mc/explo/udpor/History.hpp
- src/mc/explo/udpor/maximal_subsets_iterator.cpp
- src/mc/explo/udpor/maximal_subsets_iterator.hpp
- src/mc/explo/udpor/UnfoldingEvent.cpp
- src/mc/explo/udpor/UnfoldingEvent.hpp
- src/mc/explo/udpor/Unfolding.cpp
- src/mc/explo/udpor/Unfolding.hpp
- src/mc/explo/udpor/udpor_forward.hpp
- src/mc/explo/udpor/udpor_tests_private.hpp
-
- src/mc/inspect/DwarfExpression.cpp
- src/mc/inspect/DwarfExpression.hpp
- src/mc/inspect/Frame.cpp
- src/mc/inspect/Frame.hpp
- src/mc/inspect/LocationList.cpp
- src/mc/inspect/LocationList.hpp
- src/mc/inspect/ObjectInformation.cpp
- src/mc/inspect/ObjectInformation.hpp
- src/mc/inspect/Type.hpp
- src/mc/inspect/Variable.hpp
- src/mc/inspect/mc_dwarf.cpp
- src/mc/inspect/mc_dwarf.hpp
- src/mc/inspect/mc_dwarf_attrnames.cpp
- src/mc/inspect/mc_dwarf_tagnames.cpp
- src/mc/inspect/mc_member.cpp
- src/mc/inspect/mc_unw.cpp
- src/mc/inspect/mc_unw.hpp
- src/mc/inspect/mc_unw_vmread.cpp
-
- src/mc/sosp/ChunkedData.cpp
- src/mc/sosp/ChunkedData.hpp
- src/mc/sosp/PageStore.cpp
- src/mc/sosp/PageStore.hpp
- src/mc/sosp/Region.cpp
- src/mc/sosp/Region.hpp
- src/mc/sosp/RemoteProcessMemory.cpp
- src/mc/sosp/RemoteProcessMemory.hpp
- src/mc/sosp/Snapshot.cpp
- src/mc/sosp/Snapshot.hpp
-
- src/mc/AddressSpace.hpp
- src/mc/VisitedState.cpp
- src/mc/VisitedState.hpp
- src/mc/compare.cpp