1 2 3
add_klee_unit_test(TreeStreamTest TreeStreamTest.cpp) target_link_libraries(TreeStreamTest PRIVATE kleeBasic kleeSupport)