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)