target_link_libraries(bugged2_liveness simgrid m )
target_link_libraries(test/test_heap_comparison simgrid m )
-endif(HAVE_MC)
+endif()
set(tesh_files
${tesh_files}
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c
+ ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c
${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c
${CMAKE_CURRENT_SOURCE_DIR}/random_test.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h