IF(HAVE_C_STACK_CLEANER)
# This test checks if the stack cleaner is making a difference:
ADD_TEST(s4u-mc-bugged1-liveness-stack-cleaner ${CMAKE_HOME_DIRECTORY}/examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
${CMAKE_HOME_DIRECTORY}/examples/s4u/mc-bugged1-liveness/
IF(HAVE_C_STACK_CLEANER)
# This test checks if the stack cleaner is making a difference:
ADD_TEST(s4u-mc-bugged1-liveness-stack-cleaner ${CMAKE_HOME_DIRECTORY}/examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
${CMAKE_HOME_DIRECTORY}/examples/s4u/mc-bugged1-liveness/