From c8decf4801f839ddb2b350305f8e64191e197d6e Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 28 Apr 2021 19:43:09 +0000 Subject: [PATCH] Update module dependencies With decision_procedure.h moved from util to solvers/ those dependencies should have been updated before, but the cpplint CI job was non-functional for a while and we thus missed this. --- jbmc/src/java_bytecode/module_dependencies.txt | 1 + .../string_constraint_instantiation/module_dependencies.txt | 1 + src/solvers/refinement/module_dependencies.txt | 1 + src/solvers/smt2/module_dependencies.txt | 1 + 4 files changed, 4 insertions(+) diff --git a/jbmc/src/java_bytecode/module_dependencies.txt b/jbmc/src/java_bytecode/module_dependencies.txt index 1cd16867be4..befbe24e268 100644 --- 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 index 83b02a43c06..7199bd28f2e 100644 --- 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 index 2ecb3864aa5..dd3f7c63e29 100644 --- 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 index c4bd71521d1..9f882b9cf24 100644 --- 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