Move 2 functions from mc::ModelChecker to mc::RemoteApp

[simgrid.git] / examples / smpi / CMakeLists.txt

diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt
index 406554822fd35d96628d1f83753db0d2006e3435..5c636f33ca29439073536c41ef1ffd797a0ece9d 100644 (file)
--- a/examples/smpi/CMakeLists.txt
+++ b/examples/smpi/CMakeLists.txt
@@ -97,6 +97,15 @@ if(enable_smpi)
     ADD_TESH(smpi-mc-only-send-determinism --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/mc --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms --cd ${CMAKE_BINARY_DIR}/examples/smpi/mc ${CMAKE_HOME_DIRECTORY}/examples/smpi/mc/only_send_deterministic.tesh)
     add_dependencies(tests-mc smpi_sendsend)
     ADD_TESH_FACTORIES(smpi-mc-sendsend "^thread" --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/mc --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms --cd ${CMAKE_BINARY_DIR}/examples/smpi/mc ${CMAKE_HOME_DIRECTORY}/examples/smpi/mc/sendsend.tesh)
+    if(HAVE_BOOST_CONTEXTS)
+      set_tests_properties(smpi-mc-sendsend-ucontext PROPERTIES TIMEOUT 5)
+    endif()
+    if(HAVE_BOOST_CONTEXTS)
+      set_tests_properties(smpi-mc-sendsend-raw PROPERTIES TIMEOUT 5)
+    endif()
+    if(HAVE_BOOST_CONTEXTS)
+      set_tests_properties(smpi-mc-sendsend-boost PROPERTIES TIMEOUT 5)
+    endif()
   endif()
 
   ADD_TESH(smpi-tracing        --setenv bindir=${CMAKE_BINARY_DIR}/examples/smpi/trace --setenv srcdir=${CMAKE_HOME_DIRECTORY}/examples/smpi/trace --setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms --cd ${CMAKE_BINARY_DIR}/examples/smpi/trace ${CMAKE_HOME_DIRECTORY}/examples/smpi/trace/trace.tesh)