Merge pull request #6069 from tautschnig/dependencies

tautschnig · web-flow · commit 43b43eecd772 · 2021-04-30T17:15:53.000+02:00
Update module dependencies
diff --git a/jbmc/src/java_bytecode/module_dependencies.txt b/jbmc/src/java_bytecode/module_dependencies.txt
@@ -9,5 +9,6 @@ langapi # should go away
 library
 linking
 miniz
+solvers/prop
 solvers/strings
 util
diff --git a/jbmc/unit/solvers/strings/string_constraint_instantiation/module_dependencies.txt b/jbmc/unit/solvers/strings/string_constraint_instantiation/module_dependencies.txt
@@ -3,6 +3,7 @@ langapi # should go away
 solvers/refinement
 solvers/sat
 solvers/strings
+solvers
 string_constraint_instantiation
 testing-utils
 util
diff --git a/src/solvers/refinement/module_dependencies.txt b/src/solvers/refinement/module_dependencies.txt
@@ -1,5 +1,6 @@
 solvers/flattening
 solvers/floatbv
+solvers/prop
 solvers/refinement
 solvers/sat
 util
diff --git a/src/solvers/smt2/module_dependencies.txt b/src/solvers/smt2/module_dependencies.txt
@@ -3,4 +3,5 @@ solvers/floatbv
 solvers/prop
 solvers/sat
 solvers/smt2
+solvers
 util
