if(enable_model-checking AND enable_compile_optimizations)
# Forget it, do not optimize the code (because it confuses the MC):
set(optCFLAGS "-O0 ")
if(enable_model-checking AND enable_compile_optimizations)
# Forget it, do not optimize the code (because it confuses the MC):
set(optCFLAGS "-O0 ")