-# Copyright 2021-2022. The SimGrid Team. All rights reserved.
+# Copyright 2021-2023. The SimGrid Team. All rights reserved.
# Integrates the MBI tests into the SimGrid build chain when asked to
if (enable_smpi_MBI_testsuite)
if (NOT enable_smpi)
- message(FATAL_ERROR "MBI test suite cannot be enabled without SMPI. Please change either setting.")
+ message(FATAL_ERROR "The MBI test suite cannot be enabled without SMPI. Please change either setting.")
endif()
- if (NOT enable_model-checking)
- message(FATAL_ERROR "MBI test suite cannot be enabled without the Mc SimGrid model-checker. Please change either setting.")
+ if (NOT SIMGRID_HAVE_MC)
+ message(FATAL_ERROR "The MBI test suite cannot be enabled without the model-checker. Please change either setting.")
endif()
message(STATUS "Generating the MBI test cases")
add_dependencies(tests tests-mbi)
add_dependencies(tests-mbi simgrid-mc smpimain)
- # Remove Concurrency tests that are out of reach because simgrid does not intercept local modifications yet
+ # 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