Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Disable test stack-overflow with tsan too (false positive).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sun, 28 Jul 2019 14:30:38 +0000 (16:30 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 27 Aug 2019 08:55:34 +0000 (10:55 +0200)
teshsuite/simix/CMakeLists.txt

index 35216ce..7d3ba78 100644 (file)
@@ -26,7 +26,7 @@ ELSE()
   ADD_TESH(tesh-simix-factory-default --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/simix/check-defaults --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/simix/check-defaults factory_thread.tesh)
 ENDIF()
 
-if (NOT enable_memcheck AND NOT enable_address_sanitizer)
+if (NOT enable_memcheck AND NOT enable_address_sanitizer AND NOT enable_thread_sanitizer)
   ADD_TESH_FACTORIES(stack-overflow   "ucontext;raw;boost" --setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/simix/stack-overflow --setenv srcdir=${CMAKE_HOME_DIRECTORY} --cd ${CMAKE_HOME_DIRECTORY}/teshsuite/simix/stack-overflow stack-overflow.tesh)
   if (release AND (WIN32 OR CMAKE_SYSTEM_NAME MATCHES "Darwin"))
     SET_TESH_PROPERTIES(stack-overflow "ucontext;raw;boost" WILL_FAIL true)