3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-21 14:50:33 +00:00

verific: Add src to message missed in #5406

This commit is contained in:
Miodrag Milanovic 2025-10-13 15:16:10 +02:00
parent dc959cdf4a
commit 1f11b2c529

View file

@ -1995,7 +1995,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
if (import_netlist_instance_cells(inst, inst_name))
continue;
if (inst->IsOperator() && !verific_sva_prims.count(inst->Type()))
log_warning("Unsupported Verific operator: %s (fallback to gate level implementation provided by verific)\n", inst->View()->Owner()->Name());
log_warning("%sUnsupported Verific operator: %s (fallback to gate level implementation provided by verific)\n", announce_src_location(inst), inst->View()->Owner()->Name());
} else {
if (import_netlist_instance_gates(inst, inst_name))
continue;