teshsuite/java/SemaphoreGC/SemaphoreGC_compiled
teshsuite/java/SleepHostOff/SleepHostOff_compiled
teshsuite/mc/dwarf/dwarf
-teshsuite/mc/dwarf_expression/dwarf-expression
+teshsuite/mc/dwarf-expression/dwarf-expression
teshsuite/mc/replay/random_bug
teshsuite/mc/with_mutex_handling
teshsuite/mc/without_mutex_handling
teshsuite/msg/trace_integration/trace_integration
teshsuite/simdag/availability/availability
teshsuite/simdag/basic-link-test/basic-link-test
-teshsuite/simdag/basic-parsing-test/basic-parsing-test/
+teshsuite/simdag/basic-parsing-test/basic-parsing-test
teshsuite/simdag/basic0/basic0
teshsuite/simdag/basic1/basic1
teshsuite/simdag/basic2/basic2
+foreach(x dwarf dwarf-expression)
+ if (HAVE_MC)
+ add_executable (${x} ${x}/${x}.cpp)
+ target_link_libraries(${x} simgrid)
+ set_target_properties(${x} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${x})
+ endif()
+
+ set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x}.tesh)
+ set(teshsuite_src ${teshsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x}.cpp)
+endforeach()
+
add_executable (with_mutex_handling mutex_handling.c)
target_link_libraries(with_mutex_handling simgrid)
set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/with_mutex_handling.tesh
${CMAKE_CURRENT_SOURCE_DIR}/without_mutex_handling.tesh PARENT_SCOPE)
-set(testsuite_src ${testsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/mutex_handling.c PARENT_SCOPE)
+set(teshsuite_src ${teshsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/mutex_handling.c PARENT_SCOPE)
set(xml_files ${xml_files} ${CMAKE_CURRENT_SOURCE_DIR}/mutex_handling.xml PARENT_SCOPE)
+++ /dev/null
-if(HAVE_MC)
- add_executable (dwarf dwarf.cpp)
- target_link_libraries(dwarf simgrid)
-endif()
-
-set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/dwarf.tesh PARENT_SCOPE)
-set(testsuite_src ${testsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/dwarf.cpp PARENT_SCOPE)
+++ /dev/null
-if(HAVE_MC)
- add_executable (dwarf-expression dwarf_expression.cpp)
- target_link_libraries(dwarf-expression simgrid)
-endif()
-
-set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/dwarf_expression.tesh PARENT_SCOPE)
-set(testsuite_src ${testsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/dwarf_expression.cpp PARENT_SCOPE)
teshsuite/java/CMakeLists.txt
teshsuite/mc/CMakeLists.txt
- teshsuite/mc/dwarf/CMakeLists.txt
- teshsuite/mc/dwarf_expression/CMakeLists.txt
teshsuite/mc/replay/CMakeLists.txt
teshsuite/msg/CMakeLists.txt
teshsuite/simdag/CMakeLists.txt
### MC ###
IF(HAVE_MC)
ADD_TESH(tesh-mc-dwarf --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/mc/dwarf --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/mc/dwarf dwarf.tesh)
- ADD_TESH(tesh-mc-dwarf-expression --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/mc/dwarf_expression --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/mc/dwarf_expression dwarf_expression.tesh)
+ ADD_TESH(tesh-mc-dwarf-expression --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/mc/dwarf-expression --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/mc/dwarf-expression dwarf-expression.tesh)
ADD_TESH(tesh-mc-with-mutex-handling --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/mc --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/mc with_mutex_handling.tesh --cfg=model-check/reduction:none)
# ADD_TESH(tesh-mc-with-mutex-handling-dpor --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/mc --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/mc with_mutex_handling.tesh --cfg=model-check/reduction:dpor)