+ if(HAVE_C_STACK_CLEANER)
+ # This test checks if the stack cleaner is makign a difference:
+ add_test(mc-bugged1-liveness-stack-cleaner
+ ${CMAKE_HOME_DIRECTORY}/examples/msg/mc/bugged1_liveness_stack_cleaner
+ ${CMAKE_HOME_DIRECTORY}/examples/msg/mc/
+ ${CMAKE_BINARY_DIR}/examples/msg/mc/
+ )
+ endif()