src/instr/instr_msg_task.c
src/instr/instr_paje_containers.c
src/instr/instr_paje_trace.c
+ src/instr/instr_paje_header.c
src/instr/instr_paje_types.c
src/instr/instr_paje_values.c
src/instr/instr_private.h
set(MC_SRC
src/mc/mc_checkpoint.c
+ src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_request.c
src/mc/mc_state.c
src/mc/memory_map.c
- src/mc/test/compare_snapshot.c
+ src/mc/test/heap_comparison.c
)
set(headers_to_install