From e1f055b1785fd7f23fc4d30eeb0276278892ed20 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 15 Aug 2019 22:32:39 +0100 Subject: Moved ConstructSolverChain.cpp to the Solver library. --- unittests/TreeStream/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'unittests') diff --git a/unittests/TreeStream/CMakeLists.txt b/unittests/TreeStream/CMakeLists.txt index 4b298724..ff9b4c3e 100644 --- a/unittests/TreeStream/CMakeLists.txt +++ b/unittests/TreeStream/CMakeLists.txt @@ -1,3 +1,3 @@ add_klee_unit_test(TreeStreamTest TreeStreamTest.cpp) -target_link_libraries(TreeStreamTest PRIVATE kleeBasic) +target_link_libraries(TreeStreamTest PRIVATE kleeBasic kleeSupport) -- cgit 1.4.1