From 7aa7f0aaebca40288c5dee038cf7bc84bf1462a4 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 19 Jul 2017 21:58:44 +0100
Subject: Added some unit tests for TreeStream: one testing some basic
 behaviour, the other a regression test for #562

---
 unittests/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'unittests/CMakeLists.txt')

diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt
index a85c0a74..85b7b061 100644
--- a/unittests/CMakeLists.txt
+++ b/unittests/CMakeLists.txt
@@ -79,6 +79,7 @@ add_subdirectory(Assignment)
 add_subdirectory(Expr)
 add_subdirectory(Ref)
 add_subdirectory(Solver)
+add_subdirectory(TreeStream)
 
 # Set up lit configuration
 set (UNIT_TEST_EXE_SUFFIX "Test")
-- 
cgit 1.4.1