From fbd92bb07bb45e4f06d2f2f6e421b11758c929c9 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 22 Oct 2025 13:18:02 -0700 Subject: [PATCH] Netlist: use ebmc_errort Replace a string exception by throwing ebmc_errort. --- src/trans-netlist/trans_to_netlist.cpp | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/trans-netlist/trans_to_netlist.cpp b/src/trans-netlist/trans_to_netlist.cpp index 44948e7d7..9781ac605 100644 --- a/src/trans-netlist/trans_to_netlist.cpp +++ b/src/trans-netlist/trans_to_netlist.cpp @@ -16,6 +16,7 @@ Author: Daniel Kroening, kroening@kroening.com #include #include +#include #include #include #include @@ -564,8 +565,9 @@ void convert_trans_to_netlistt::convert_lhs_rec( lhs_mapt::iterator it=lhs_map.find(bv_varid); if(it==lhs_map.end()) - throw "lhs_rec: failed to find `"+bv_varid.as_string()+"' in lhs_map"; - + throw ebmc_errort{} << "lhs_rec: failed to find `" + << bv_varid.as_string() << "' in lhs_map"; + // we only need to do wires if(!it->second.var->is_wire()) return; @@ -729,7 +731,8 @@ void convert_trans_to_netlistt::add_equality_rec( lhs_map.find(bv_varid); if(it==lhs_map.end()) - throw "add_equality_rec: failed to find `"+bv_varid.as_string()+"' in lhs_map"; + throw ebmc_errort{} << "add_equality_rec: failed to find `" + << bv_varid.as_string() << "' in lhs_map"; lhs_entryt &lhs_entry=it->second; const var_mapt::vart &var=*lhs_entry.var;