teshsuite/java/SleepHostOff/SleepHostOff_compiled
teshsuite/mc/dwarf/dwarf
teshsuite/mc/dwarf-expression/dwarf-expression
-teshsuite/mc/replay/random_bug
-teshsuite/mc/with_mutex_handling
-teshsuite/mc/without_mutex_handling
+teshsuite/mc/random-bug/random-bug
+teshsuite/mc/mutex-handling/mutex-handling
+teshsuite/mc/mutex-handling/without-mutex-handling
teshsuite/msg/concurrent_rw/concurrent_rw
teshsuite/msg/get_sender/get_sender
teshsuite/msg/host_on_off/host_on_off
teshsuite/simdag/flatifier/flatifier
teshsuite/simdag/incomplete/incomplete
teshsuite/simdag/is-router/is-router
-teshsuite/simdag/platforms/evaluate_get_route_time
-teshsuite/simdag/platforms/evaluate_parse_time
+teshsuite/simdag/evaluate-get-route-time/evaluate-get-route-time
+teshsuite/simdag/evaluate-parse-time/evaluate-parse-time
teshsuite/simix/check_defaults/check_defaults
teshsuite/simix/stack_overflow/stack_overflow
teshsuite/smpi/bug-17132/bug-17132