From b25efe48a6451aab9611b730239f3c4179baf406 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 30 Jul 2018 21:57:10 -0700 Subject: [PATCH] compile the right file --- examples/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index fc0a541..54ed94b 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -72,7 +72,7 @@ if (BUILD_LIBFUZZER) target_link_libraries (IntegerOverflow_LF "-fsanitize=fuzzer") set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER") - add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp) + add_executable(IntegerOverflow_Addition_LF IntegerOverflow.cpp) 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