renamed query_local() overload

emsec · Jul 16, 2024 · 4948797 · 4948797
1 parent 39663a6
commit 4948797
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/include/hal_core/netlist/boolean_function/solver.h b/include/hal_core/netlist/boolean_function/solver.h
@@ -110,7 +110,7 @@ namespace hal
 			 * @param[in] smt2   - The SMT solver query as smt2 string.
 			 * @returns OK() and the result on success, Err() otherwise.
 			 */
-            static Result<SolverResult> query_local(const QueryConfig& config, const std::string& smt2);
+            static Result<SolverResult> query_local_with_smt2(const QueryConfig& config, const std::string& smt2);
 
             /**
 			 * Queries a remote SMT solver with the specified query configuration.

diff --git a/plugins/module_identification/python/python_bindings.cpp b/plugins/module_identification/python/python_bindings.cpp
@@ -14,13 +14,13 @@ namespace hal
 {
 
 #ifdef PYBIND11_MODULE
-    PYBIND11_MODULE(hawkeye, m)
+    PYBIND11_MODULE(module_identification, m)
     {
         m.doc() = "Plugin for module classification against a library of predefined types.";
 #else
-    PYBIND11_PLUGIN(hawkeye)
+    PYBIND11_PLUGIN(module_identification)
     {
-        py::module m("hawkeye", "Plugin for module classification against a library of predefined types.");
+        py::module m("module_identification", "Plugin for module classification against a library of predefined types.");
 #endif    // ifdef PYBIND11_MODULE
 
         py::class_<ModuleIdentificationPlugin, RawPtrWrapper<ModuleIdentificationPlugin>, BasePluginInterface> py_module_identification_plugin(

diff --git a/plugins/z3_utils/src/netlist_comparison.cpp b/plugins/z3_utils/src/netlist_comparison.cpp
@@ -337,7 +337,7 @@ namespace hal
 
                 s.add(bf_a != bf_b);
                 auto smt2_str  = s.to_smt2();
-                auto query_res = SMT::Solver::query_local(config, smt2_str);
+                auto query_res = SMT::Solver::query_local_with_smt2(config, smt2_str);
                 if (query_res.is_error())
                 {
                     return ERR_APPEND(query_res.get_error(),

diff --git a/src/netlist/boolean_function/solver.cpp b/src/netlist/boolean_function/solver.cpp
@@ -434,10 +434,10 @@ namespace hal
             }
 
             auto input_str = input.get();
-            return query_local(config, input_str);
+            return query_local_with_smt2(config, input_str);
         }
 
-        Result<SolverResult> Solver::query_local(const QueryConfig& config, const std::string& smt2)
+        Result<SolverResult> Solver::query_local_with_smt2(const QueryConfig& config, const std::string& smt2)
         {
             auto query = spec2query.at({config.solver, config.call})(smt2, config);
             if (query.is_ok())

diff --git a/src/python_bindings/bindings/smt.cpp b/src/python_bindings/bindings/smt.cpp
@@ -423,9 +423,9 @@ namespace hal
         )");
 
         py_smt_solver.def_static(
-            "query_local",
+            "query_local_with_smt2",
             [](const SMT::QueryConfig& config, const std::string& smt2) -> std::optional<SMT::SolverResult> {
-                auto res = SMT::Solver::query_local(config, smt2);
+                auto res = SMT::Solver::query_local_with_smt2(config, smt2);
                 if (res.is_ok())
                 {
                     return res.get();