mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

smtr: Use scope.unique_name

Browse source
This commit is contained in:
Krystine Sherwin 2024-09-03 22:05:17 +12:00 • committed by Emily (aiju)
parent 5a29b3e172
commit a2abbcb33f
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

@ -81,7 +81,7 @@ public:
SmtrStruct(std::string name, SmtrScope &scope) : scope(scope), name(name) {}
void insert(IdString field_name, SmtrSort sort) {
field_names(field_name);
auto base_name = RTLIL::unescape_id(field_name);
auto base_name = scope.unique_name("\\" + RTLIL::unescape_id(field_name));
auto accessor = name + "-" + base_name;
scope.reserve(accessor);
fields.emplace_back(Field{sort, accessor, base_name});