From c1e635ce74ae3f6e51ec0b68b6f83c8800a10082 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 1 Dec 2018 19:27:11 +0000 Subject: [PATCH] Add missing module_dependencies.txt files The directories had been created before such files were mandated by cpp-lint. --- unit/goto-programs/module_dependencies.txt | 3 +++ unit/json/module_dependencies.txt | 3 +++ unit/pointer-analysis/module_dependencies.txt | 3 +++ unit/solvers/refinement/array_pool/module_dependencies.txt | 3 +++ 4 files changed, 12 insertions(+) create mode 100644 unit/goto-programs/module_dependencies.txt create mode 100644 unit/json/module_dependencies.txt create mode 100644 unit/pointer-analysis/module_dependencies.txt create mode 100644 unit/solvers/refinement/array_pool/module_dependencies.txt diff --git a/unit/goto-programs/module_dependencies.txt b/unit/goto-programs/module_dependencies.txt new file mode 100644 index 0000000000..070c3bcc8b --- /dev/null +++ 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 new file mode 100644 index 0000000000..4c8e6b1df8 --- /dev/null +++ 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 new file mode 100644 index 0000000000..92206e9e62 --- /dev/null +++ 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 new file mode 100644 index 0000000000..71b28bcf83 --- /dev/null +++ b/unit/solvers/refinement/array_pool/module_dependencies.txt @@ -0,0 +1,3 @@ +solvers/refinement +testing-utils +util