examples/smpi/mc/mutual_exclusion
examples/smpi/mc/non_deterministic
examples/smpi/mc/send_deterministic
+examples/smpi/NAS/dt
+examples/smpi/NAS/ep
+examples/smpi/NAS/is
examples/smpi/mvmul
examples/smpi/replay_multiple/replay_multiple
examples/smpi/replay/one_trace