Enable and update gdb api unit tests

danpoe · danpoe · commit f961d7911ca8 · 2019-01-31T11:46:44.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
@@ -30,6 +30,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/floatbv/float_utils.cpp \
diff --git a/unit/memory-analyzer/gdb_api.cpp b/unit/memory-analyzer/gdb_api.cpp
@@ -1,5 +1,5 @@
 // Copyright 2018 Malte Mues
-#include <testing-utils/catch.hpp>
+#include <testing-utils/use_catch.h>
 
 #ifdef __linux__
 //  \file Test that the regex expression used work as expected.
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
