Add missing module definitions

NathanJPhillips · Jun 5, 2018 · 103c7b7 · 103c7b7
1 parent 724a36c
commit 103c7b7
Show file tree

Hide file tree

Showing 29 changed files with 140 additions and 0 deletions.
diff --git a/jbmc/unit/java-testing-utils/module_dependencies.txt b/jbmc/unit/java-testing-utils/module_dependencies.txt
@@ -0,0 +1,6 @@
+goto-programs
+java_bytecode
+java-testing-utils
+langapi # should go away
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/ci_lazy_methods/module_dependencies.txt b/jbmc/unit/java_bytecode/ci_lazy_methods/module_dependencies.txt
@@ -0,0 +1,3 @@
+ci_lazy_methods
+java-testing-utils
+testing-utils
diff --git a/jbmc/unit/java_bytecode/goto-programs/module_dependencies.txt b/jbmc/unit/java_bytecode/goto-programs/module_dependencies.txt
@@ -0,0 +1,4 @@
+goto-programs
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/goto_program_generics/module_dependencies.txt b/jbmc/unit/java_bytecode/goto_program_generics/module_dependencies.txt
@@ -0,0 +1,4 @@
+goto_program_generics
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/inherited_static_fields/module_dependencies.txt b/jbmc/unit/java_bytecode/inherited_static_fields/module_dependencies.txt
@@ -0,0 +1,4 @@
+inherited_static_fields
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_bytecode_convert_class/module_dependencies.txt b/jbmc/unit/java_bytecode/java_bytecode_convert_class/module_dependencies.txt
@@ -1,3 +1,4 @@
 java-testing-utils
 testing-utils
 java_bytecode
+util
diff --git a/jbmc/unit/java_bytecode/java_bytecode_convert_method/module_dependencies.txt b/jbmc/unit/java_bytecode/java_bytecode_convert_method/module_dependencies.txt
@@ -0,0 +1,6 @@
+goto-programs
+java_bytecode
+java_bytecode_convert_method
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_bytecode_parse_generics/module_dependencies.txt b/jbmc/unit/java_bytecode/java_bytecode_parse_generics/module_dependencies.txt
@@ -0,0 +1,3 @@
+java_bytecode_parse_generics
+java-testing-utils
+testing-utils
diff --git a/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/module_dependencies.txt b/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/module_dependencies.txt
@@ -0,0 +1,6 @@
+java_bytecode
+java_bytecode_parse_lambdas
+java-testing-utils
+langapi # should go away
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_object_factory/module_dependencies.txt b/jbmc/unit/java_bytecode/java_object_factory/module_dependencies.txt
@@ -0,0 +1,5 @@
+java_bytecode
+java_object_factory
+langapi # should go away
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_replace_nondet/module_dependencies.txt b/jbmc/unit/java_bytecode/java_replace_nondet/module_dependencies.txt
@@ -0,0 +1,7 @@
+goto-instrument
+goto-programs
+java_bytecode
+java_replace_nondet
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_string_library_preprocess/module_dependencies.txt b/jbmc/unit/java_bytecode/java_string_library_preprocess/module_dependencies.txt
@@ -0,0 +1,5 @@
+java_bytecode
+java_string_library_preprocess
+langapi # should go away
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/java_types/module_dependencies.txt b/jbmc/unit/java_bytecode/java_types/module_dependencies.txt
@@ -0,0 +1,3 @@
+java_bytecode
+java_types
+testing-utils
diff --git a/jbmc/unit/java_bytecode/java_virtual_functions/module_dependencies.txt b/jbmc/unit/java_bytecode/java_virtual_functions/module_dependencies.txt
@@ -0,0 +1,7 @@
+goto-instrument
+goto-programs
+java_bytecode
+java_virtual_functions
+java-testing-utils
+testing-utils
+util
diff --git a/jbmc/unit/java_bytecode/module_dependencies.txt b/jbmc/unit/java_bytecode/module_dependencies.txt
@@ -0,0 +1,2 @@
+java_bytecode
+testing-utils
diff --git a/jbmc/unit/pointer-analysis/module_dependencies.txt b/jbmc/unit/pointer-analysis/module_dependencies.txt
@@ -0,0 +1,6 @@
+goto-programs
+java_bytecode
+langapi # should go away
+pointer-analysis
+testing-utils
+util
diff --git a/jbmc/unit/solvers/refinement/string_constraint_instantiation/module_dependencies.txt b/jbmc/unit/solvers/refinement/string_constraint_instantiation/module_dependencies.txt
@@ -0,0 +1,7 @@
+java_bytecode
+langapi # should go away
+solvers/refinement
+solvers/sat
+string_constraint_instantiation
+testing-utils
+util
diff --git a/jbmc/unit/solvers/refinement/string_refinement/module_dependencies.txt b/jbmc/unit/solvers/refinement/string_refinement/module_dependencies.txt
@@ -0,0 +1,6 @@
+java_bytecode
+langapi # should go away
+string_refinement
+solvers/refinement
+testing-utils
+util
diff --git a/jbmc/unit/util/module_dependencies.txt b/jbmc/unit/util/module_dependencies.txt
@@ -0,0 +1,4 @@
+java_bytecode
+java-testing-utils
+testing-utils
+util
diff --git a/unit/analyses/ai/module_dependencies.txt b/unit/analyses/ai/module_dependencies.txt
@@ -0,0 +1,5 @@
+ai
+analyses
+ansi-c
+testing-utils
+util
diff --git a/unit/analyses/does_remove_const/module_dependencies.txt b/unit/analyses/does_remove_const/module_dependencies.txt
@@ -0,0 +1,6 @@
+analyses
+ansi-c
+does_remove_const
+goto-programs
+testing-utils
+util
diff --git a/unit/analyses/module_dependencies.txt b/unit/analyses/module_dependencies.txt
@@ -0,0 +1,6 @@
+analyses
+ansi-c
+goto-programs
+langapi # should go away
+testing-utils
+util
diff --git a/unit/module_dependencies.txt b/unit/module_dependencies.txt
@@ -0,0 +1,15 @@
+ansi-c
+cbmc
+cpp
+goto-programs
+goto-symex
+json
+langapi # should go away
+solvers/flattening
+solvers/floatbv
+solvers/miniBDD
+solvers/prop
+solvers/sat
+solvers/smt2
+testing-utils
+util
diff --git a/unit/solvers/refinement/string_constraint_generator_valueof/module_dependencies.txt b/unit/solvers/refinement/string_constraint_generator_valueof/module_dependencies.txt
@@ -0,0 +1,4 @@
+solvers/refinement
+string_constraint_generator_valueof
+testing-utils
+util
diff --git a/unit/solvers/refinement/string_refinement/module_dependencies.txt b/unit/solvers/refinement/string_refinement/module_dependencies.txt
@@ -0,0 +1,4 @@
+solvers/refinement
+string_refinement
+testing-utils
+util
diff --git a/unit/testing-utils/module_dependencies.txt b/unit/testing-utils/module_dependencies.txt
@@ -0,0 +1,3 @@
+ansi-c
+testing-utils
+util
diff --git a/unit/util/expr_cast/module_dependencies.txt b/unit/util/expr_cast/module_dependencies.txt
@@ -0,0 +1,3 @@
+expr_casts
+testing-utils
+util
diff --git a/unit/util/module_dependencies.txt b/unit/util/module_dependencies.txt
@@ -0,0 +1,2 @@
+testing-utils
+util
diff --git a/unit/util/string_utils/module_dependencies.txt b/unit/util/string_utils/module_dependencies.txt
@@ -0,0 +1,3 @@
+string_utils
+testing-utils
+util