src/include/xbt/coverage.h
src/include/xbt/parmap.hpp
src/include/xbt/mmalloc.h
+ src/include/xbt/xbt_modinter.h
src/include/catch.hpp
src/include/xxhash.hpp
src/mc/mc_mmu.hpp
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
src/xbt/xbt_virtu.cpp
- src/xbt_modinter.h
)
if(HAVE_MMALLOC)
src/kernel/resource/Action.cpp
src/kernel/resource/Model.cpp
- src/kernel/resource/Resource.cpp
src/kernel/resource/DiskImpl.cpp
src/kernel/resource/DiskImpl.hpp
src/kernel/activity/SynchroRaw.hpp
src/kernel/actor/ActorImpl.cpp
src/kernel/actor/ActorImpl.hpp
+ src/kernel/actor/SimcallObserver.cpp
+ src/kernel/actor/SimcallObserver.hpp
${SIMIX_GENERATED_SRC}
)
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
- src/mc/checker/SimcallObserver.cpp
- src/mc/checker/SimcallObserver.hpp
)
set(MC_SRC
include/simgrid/forward.h
include/simgrid/simix.h
include/simgrid/simix.hpp
- include/simgrid/simix/blocking_simcall.hpp
include/simgrid/kernel/future.hpp
include/simgrid/disk.h
include/simgrid/host.h
include/xbt/signal.hpp
include/xbt/str.h
include/xbt/string.hpp
- include/xbt/synchro.h
include/xbt/sysdep.h
include/xbt/system_error.hpp
include/xbt/utility.hpp