tools/tesh/tesh.h
tools/tesh/generate_tesh
examples/smpi/mc/only_send_deterministic.tesh
+ examples/smpi/mc/non_deterministic.tesh
)
set(SMPI_SRC
src/mc/mc_dwarf_tagnames.h
src/mc/mc_hash.cpp
src/mc/mc_ignore.cpp
+ src/mc/mcer_ignore.cpp
+ src/mc/mcer_ignore.h
src/mc/mc_ignore.h
src/mc/mc_liveness.h
src/mc/mc_location.h