mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-07 06:33:24 +00:00
Code Activity

Bugfix

Browse source
This commit is contained in:
Gus Smith 2025-05-21 21:31:07 -07:00
parent 8ec9de00ec
commit d8b27d41c0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/functional/smtlib_rosette.cc
View file

@ -297,7 +297,7 @@ struct SmtrModule {
w << list(*output_helper_name, outputs_name); w << list(*output_helper_name, outputs_name);
w.open(list("list")); w.open(list("list"));
for (auto output : ir.outputs()) { for (auto output : ir.outputs()) {
w << list("cons", "\"" + RTLIL::unescape_id(name) + "\"", output_struct.access("outputs", output->name)); w << list("cons", "\"" + RTLIL::unescape_id(output->name) + "\"", output_struct.access("outputs", output->name));
} }
w.pop(); w.pop();
} }