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

about summary refs log tree commit diff homepage

path: root/unittests/Expr/CMakeLists.txt

blob: 84dce619046e3383a938f079d0f0aaee29f2819b (plain) (blame)

1
2
3

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