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

get_field_names for structs

This commit is contained in:
Gus Smith 2025-05-17 14:10:23 -07:00
parent 388955031f
commit fd5918c811
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
backends/functional/smtlib_rosette.cc
View File

@ -114,6 +114,13 @@ public:
size_t i = field_names.at(name); size_t i = field_names.at(name);
return list(fields[i].accessor, std::move(record)); return list(fields[i].accessor, std::move(record));
} }
std::vector<std::string> get_field_names()
{
std::vector<std::string> names;
for (auto field : fields)
names.push_back(field.name);
return names;
}
}; };
std::string smt_const(RTLIL::Const const &c) { std::string smt_const(RTLIL::Const const &c) {