From 717221836f772a162974404f6fe7b0aaace3a47b Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 30 Jul 2018 21:52:38 -0700 Subject: [PATCH] fix missing _Addition --- examples/CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 7b22b6d..774d7c8 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -73,9 +73,9 @@ if (BUILD_LIBFUZZER) set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER") add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp) - target_link_libraries(IntegerOverflow_LF deepstate_LF) - target_link_libraries (IntegerOverflow_LF "-fsanitize=fuzzer") - set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS + target_link_libraries(IntegerOverflow_Addition_LF deepstate_LF) + target_link_libraries (IntegerOverflow_Addition_LF "-fsanitize=fuzzer") + set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"") endif()