DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix cmakelists

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

3
examples/CMakeLists.txt
View File

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