Add missing module_dependencies.txt files

The directories had been created before such files were mandated by cpp-lint.
2018-12-01 19:27:11 +00:00 · 2018-12-01 19:27:11 +00:00 · c1e635ce74
parent d197e6e6a2
commit c1e635ce74
4 changed files with 12 additions and 0 deletions
--- a/unit/goto-programs/module_dependencies.txt
+++ b/unit/goto-programs/module_dependencies.txt
@ -0,0 +1,3 @@
+goto-programs
+testing-utils
+util
--- a/unit/json/module_dependencies.txt
+++ b/unit/json/module_dependencies.txt
@ -0,0 +1,3 @@
+json
+testing-utils
+util
--- a/unit/pointer-analysis/module_dependencies.txt
+++ b/unit/pointer-analysis/module_dependencies.txt
@ -0,0 +1,3 @@
+pointer-analysis
+testing-utils
+util
--- 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