+ add_dependencies(tests-mbi simgrid-mc smpimain)
+
+ # Remove Concurrency tests that are out of reach because simgrid does not intercept local modifications yet
+ # An idea could be to use ASan on the verified application, along with https://github.com/google/sanitizers/wiki/AddressSanitizerManualPoisoning
+ # But currently, ASan is not usable at all, since the Checker dislikes this trick when it tries to read the memory of the app.
+ # We should change the checker to not read the app when verifying safty properties
+ file(GLOB cfiles ${CMAKE_BINARY_DIR}/MBI/tmp/LocalConcurrency*.c ${CMAKE_BINARY_DIR}/MBI/tmp/GlobalConcurrency*.c )
+ foreach(cfile ${cfiles})
+ file(REMOVE ${cfile})
+ endforeach()
+ list(LENGTH cfiles len)
+ message(STATUS "Removed ${len} concurrency tests that would fail because we cannot intercept modifications of local variables.")
+ unset(len)