blob: ff696b40392fb48b51faf1988cb1fe50de3f4ab2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
include_directories(.)
set(EXAMPLES_HASHSMT_LINK_LIBS cvc4)
if(Boost_FOUND)
cvc4_add_example(sha1_inversion
"sha1_inversion.cpp word.cpp" "${EXAMPLES_HASHSMT_LINK_LIBS}" "hashsmt"
"a" "sha1_inversion.outfile") # arguments to binary (for testing)
endif()
cvc4_add_example(sha1_collision
"sha1_collision.cpp word.cpp" "${EXAMPLES_HASHSMT_LINK_LIBS}" "hashsmt"
"1" "1" "sha1_collision.outfile") # arguments to binary (for testing)
|