src/simix/simcalls.py
src/simix/simcalls_generated_args_getter_setter.h
src/simix/simcalls_generated_body.c
- src/simix/simcalls_generated_case.c
+ src/simix/smx_popping_generated.c
src/simix/simcalls_generated_enum.h
src/simix/simcalls_generated_res_getter_setter.h
- src/simix/simcalls_generated_string.c
src/simix/smx_host_private.h
src/simix/smx_io_private.h
src/simix/smx_network_private.h
)
set(SIMIX_GENERATED_SRC
- src/simix/simcalls_generated_case.c
+ src/simix/smx_popping_generated.c
)
set(SIMIX_SRC
src/simix/smx_context.c
src/mc/mc_page_snapshot.cpp
src/mc/mc_comm_determinism.c
src/mc/mc_compare.cpp
+ src/mc/mc_config.c
src/mc/mc_diff.c
src/mc/mc_dwarf.c
src/mc/mc_dwarf_attrnames.h