DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

new way to specify which test

Browse Source
This commit is contained in:
Alex Groce
2018-07-30 22:05:56 -07:00
parent 121a748f7e
commit 656ffa1b6d
3 changed files with 9 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files
examples/CMakeLists.txt
-6
View File
@@ -71,12 +71,6 @@ 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 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
"LIBFUZZER;LIBFUZZER_WHICH_TEST=\"SignedInteger_AdditionOverflow\"")
endif()
add_executable(IntegerArithmetic IntegerArithmetic.cpp)