Add missing module definitions

peterschrammel · peterschrammel · commit 103c7b736f6d · 2018-06-05T22:55:22.000+01:00
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

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+ci_lazy_methods`
	`2`	`+java-testing-utils`
	`3`	`+testing-utils`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+java_bytecode_parse_generics`
	`2`	`+java-testing-utils`
	`3`	`+testing-utils`