Move miniBDD catch-style unit test to proper folder and include in Makefile

Author: tautschnig

unit/.gitignore

@@ -1,4 +1,3 @@
 # Unit test binaries
-miniBDD
 sharing_node
 unit_tests

unit/Makefile

@@ -19,6 +19,7 @@ SRC += analyses/ai/ai.cpp \
        path_strategies.cpp \
        pointer-analysis/value_set.cpp \
        solvers/floatbv/float_utils.cpp \
+       solvers/miniBDD/miniBDD.cpp \
        solvers/refinement/array_pool/array_pool.cpp \
        solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp \
        solvers/refinement/string_constraint_generator_valueof/get_numeric_value_from_character.cpp \
@@ -112,7 +113,6 @@ OBJ += $(CPROVER_LIBS) testing-utils/testing-utils$(LIBEXT)
 CATCH_TEST = unit_tests$(EXEEXT)
 N_CATCH_TESTS = $(shell \
                   cat $$(find . -name "*.cpp" \
-                    -and -not -name "miniBDD_new.cpp" \
                     -a -not -name "expr_undefined_casts.cpp") | \
                   grep -c -E "(SCENARIO|TEST_CASE)")
 

unit/miniBDD_new.cpp renamed to unit/solvers/miniBDD/miniBDD.cpp

@@ -18,8 +18,6 @@
 #include <util/arith_tools.h>
 #include <util/expanding_vector.h>
 
-#include <iostream>
-
 class bdd_propt:public propt
 {
 public:

unit/solvers/miniBDD/module_dependencies.txt

@@ -0,0 +1,4 @@
+solvers/miniBDD
+solvers/prop
+testing-utils
+util