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

about summary refs log tree commit diff homepage

path: root/unittests/Ref/CMakeLists.txt

blob: facd26a38bdcc6a0928439d0170b5fbd30b143cb (plain) (blame)

1
2
3

add_klee_unit_test(RefTest
  RefTest.cpp)
target_link_libraries(RefTest PRIVATE kleaverExpr)