From: yoni206 <yoni206@users.noreply.github.com>
Date: Wed, 31 Jul 2019 16:37:49 +0000 (-0700)
Subject: adding bv_gauss unit test to build files (#3135)
X-Git-Tag: cvc5-1.0.0~4062
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79af28acb3bdd16d18f325c7a4fab36604232ab0;p=cvc5.git

adding bv_gauss unit test to build files (#3135)
---

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 4659f2647..09eff7175 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -91,4 +91,5 @@ add_subdirectory(parser)
 add_subdirectory(prop)
 add_subdirectory(proof)
 add_subdirectory(theory)
+add_subdirectory(preprocessing)
 add_subdirectory(util)
diff --git a/test/unit/preprocessing/CMakeLists.txt b/test/unit/preprocessing/CMakeLists.txt
index 5f8a79055..ca078f375 100644
--- a/test/unit/preprocessing/CMakeLists.txt
+++ b/test/unit/preprocessing/CMakeLists.txt
@@ -1,4 +1,4 @@
 #-----------------------------------------------------------------------------#
 # Add unit tests
 
-cvc4_add_unit_test_white(pass_bv_gauss_white)
+cvc4_add_unit_test_white(pass_bv_gauss_white preprocessing)