adding bv_gauss unit test to build files (#3135)

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 4659f2647ea7b8bcc3501c41ea22bd1b0b588b9d..09eff7175ead8d72d42a1895e714fa116337f535 100644 (file)
--- 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 5f8a79055b57a3181b2501dd12a958b495c15d17..ca078f375a0d663db8f4bc3a81de353727579eaa 100644 (file)
--- 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)