CMakeLists.txt « RNG « unittests - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/unittests/RNG/CMakeLists.txt

blob: 866f91584761d1cdd659a24818b8466561abc9e1 (plain) (blame)

1
2
3

add_klee_unit_test(RNGTest
  RNGTest.cpp)
target_link_libraries(RNGTest PRIVATE kleeSupport)