DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

add other overflow test

Browse Source
This commit is contained in:
Alex Groce 2018-07-30 21:50:56 -07:00
parent eea3248bfc
commit 711cd7ed3d
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
examples/CMakeLists.txt
View File

@ -71,6 +71,12 @@ if (BUILD_LIBFUZZER)
target_link_libraries(IntegerOverflow_LF deepstate_LF)
target_link_libraries (IntegerOverflow_LF "-fsanitize=fuzzer")
set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS "LIBFUZZER")
add_executable(IntegerOverflow_Addition_LF IntegerArithmetic.cpp)
target_link_libraries(IntegerOverflow_LF deepstate_LF)
target_link_libraries (IntegerOverflow_LF "-fsanitize=fuzzer")
set_target_properties(IntegerOverflow_LF PROPERTIES COMPILE_DEFINITIONS
"LIBFUZZER LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
endif()
add_executable(IntegerArithmetic IntegerArithmetic.cpp)