Merge pull request #3498 from tautschnig/missing-module-deps

tautschnig · web-flow · commit 44155786aa57 · 2018-12-02T12:27:07.000Z
Add missing module_dependencies.txt files [blocks: #3425]
diff --git a/unit/goto-programs/module_dependencies.txt b/unit/goto-programs/module_dependencies.txt
@@ -0,0 +1,3 @@
+goto-programs
+testing-utils
+util
diff --git a/unit/json/module_dependencies.txt b/unit/json/module_dependencies.txt
@@ -0,0 +1,3 @@
+json
+testing-utils
+util
diff --git a/unit/pointer-analysis/module_dependencies.txt b/unit/pointer-analysis/module_dependencies.txt
@@ -0,0 +1,3 @@
+pointer-analysis
+testing-utils
+util
diff --git a/unit/solvers/refinement/array_pool/module_dependencies.txt b/unit/solvers/refinement/array_pool/module_dependencies.txt
@@ -0,0 +1,3 @@
+solvers/refinement
+testing-utils
+util
