-set(GRAS_IS_BROKEN 0)
-if(GRAS_IS_BROKEN)
- set_tests_properties( gras-ping-rl PROPERTIES WILL_FAIL true)
- set_tests_properties( gras-rpc-rl PROPERTIES WILL_FAIL true)
- if(enable_model-checking)
- set_tests_properties( gras-mmrpc-rl PROPERTIES WILL_FAIL true)
- endif(enable_model-checking)
- set_tests_properties( gras-all2all-rl PROPERTIES WILL_FAIL true)
- if(${ARCH_32_BITS})
- set_tests_properties( gras-ping-sg-32 PROPERTIES WILL_FAIL true)