From dfe450dcf17910d5819609e57add6634298903f5 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 30 Jul 2018 21:59:18 -0700 Subject: [PATCH] proper delimiter --- examples/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 54ed94b..f873195 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -76,7 +76,7 @@ if (BUILD_LIBFUZZER) 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\"") + "LIBFUZZER;LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"") endif() add_executable(IntegerArithmetic IntegerArithmetic.cpp)