github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-25 03:46:21 +00:00
Code Issues Releases Wiki Activity

Fixes

Browse Source
This commit is contained in:
Gus Smith
2025-12-02 11:17:21 -08:00
parent 38ee4fc730
commit dd65dd610d
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
backends/functional/smtlib_rosette.cc
View File

@@ -266,8 +266,7 @@ struct SmtrModule {
void write_assoc_list_helpers(SExprWriter &w)
{
if (!output_helper_name || !input_helper_name)
log_error("if using keyword helpers, both input and output helper names are expected");
log_assert(output_helper_name && input_helper_name);
// Input struct keyword-based constructor.
w.push();
@@ -292,7 +291,7 @@ struct SmtrModule {
w.pop();
}
w.pop();
// Output struct keyword-based destructor.
// Output struct keyword-based destructuring
w.push();
w.open(list("define"));
const auto outputs_name = "outputs";