Fix format string usage with enums (#530)

emsec · Oct 5, 2023 · 15cced5 · 15cced5
1 parent fcd9e16
commit 15cced5
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp b/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp
@@ -140,7 +140,7 @@ namespace hal
                     break;
                 case BooleanFunction::Value::X:
                 case BooleanFunction::Value::Z:
-                    log_error("hal_simulator", "RAM gate '{}' with ID {} of type {} cannot be initialized with value '{}'.", m_gate->get_name(), m_gate->get_id(), gate_type->get_name(), value);
+                    log_error("hal_simulator", "RAM gate '{}' with ID {} of type {} cannot be initialized with value '{}'.", m_gate->get_name(), m_gate->get_id(), gate_type->get_name(), BooleanFunction::to_string(value));
                     return;
             }
 

diff --git a/plugins/z3_utils/src/converter/cpp_converter.cpp b/plugins/z3_utils/src/converter/cpp_converter.cpp
@@ -65,7 +65,7 @@ namespace hal
                     op.erase(op.size() - 3);
                     break;
                 default:
-                    log_error("z3_utils", "unkown operation for operation building ({})", operation);
+                    log_error("z3_utils", "unkown operation for operation building ({})", operation_to_string(operation));
                     return "NOT IMPLEMENTED REACHED";
             }
 

diff --git a/plugins/z3_utils/src/converter/verilog_converter.cpp b/plugins/z3_utils/src/converter/verilog_converter.cpp
@@ -57,7 +57,7 @@ namespace hal
                     op.erase(op.size() - 3);
                     break;
                 default:
-                    log_error("verifiaction", "unkown operation for operation building ({})", operation);
+                    log_error("verifiaction", "unkown operation for operation building ({})", operation_to_string(operation));
                     return "NOT IMPLEMENTED REACHED";
             }