DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix cmakelists

Browse Source
This commit is contained in:
Alex Groce 2018-07-30 21:55:15 -07:00
parent 763d106a7a
commit 805e5026ea
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/CMakeLists.txt
View File

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