luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Capture error case more correctly

This commit is contained in:
Gus Smith 2025-11-29 15:20:37 -08:00
parent 5d5a7ab443
commit ddcd93024f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
backends/functional/smtlib_rosette.cc
View File

@ -308,8 +308,8 @@ struct SmtrModule {
output_struct.write_definition(w); output_struct.write_definition(w);
state_struct.write_definition(w); state_struct.write_definition(w);
if (input_helper_name) { if (input_helper_name || output_helper_name) {
if (!output_helper_name) if (!output_helper_name || !input_helper_name)
log_error("if keyword helpers are enabled, both input and output helper names are expected"); log_error("if keyword helpers are enabled, both input and output helper names are expected");
write_assoc_list_helpers(w); write_assoc_list_helpers(w);
} }