Enable and update gdb api unit tests

danpoe · danpoe · commit 7269ba9e8530 · 2019-03-19T13:42:01.000Z
This enables the gdb api unit tests (in memory-analyzer/gdb_api.cpp) and adapts
them to include use_catch.h instead of catch.hpp.
diff --git a/unit/Makefile b/unit/Makefile
@@ -32,6 +32,7 @@ SRC += analyses/ai/ai.cpp \
        interpreter/interpreter.cpp \
        json/json_parser.cpp \
        json_symbol_table.cpp \
+       memory-analyzer/gdb_api.cpp \
        path_strategies.cpp \
        pointer-analysis/value_set.cpp \
        solvers/bdd/miniBDD/miniBDD.cpp \
diff --git a/unit/memory-analyzer/module_dependencies.txt b/unit/memory-analyzer/module_dependencies.txt
@@ -0,0 +1,2 @@
+memory-analyzer
+testing-utils
diff --git a/unit/module_dependencies.txt b/unit/module_dependencies.txt
@@ -7,6 +7,7 @@ goto-programs
 goto-symex
 json
 langapi # should go away
+memory-analyzer
 solvers/flattening
 solvers/floatbv
 solvers/miniBDD
