DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix cmakelists

Browse Source
This commit is contained in:
Alex Groce 2018-07-30 21:53:53 -07:00
parent 717221836f
commit 7b403bbc8f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/CMakeLists.txt
View File

@ -75,8 +75,8 @@ if (BUILD_LIBFUZZER)
add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.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
"LIBFUZZER LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
set_target_properties(IntegerOverflow_Addition_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER")
set_target_properties(IntegerOverflow_Addition_LF "LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
endif()
add_executable(IntegerArithmetic IntegerArithmetic.cpp)