mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-30 04:15:52 +00:00
Code Activity

Smallfix to remove top/bottom-bound attributes

Browse source
This commit is contained in:
Akash Levy 2024-09-18 14:46:13 -07:00
parent a7b71684cc
commit 2d139c8735
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
frontends/verific/verific.cc
View file

@ -459,8 +459,8 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
bottom_const.flags |= RTLIL::CONST_FLAG_SIGNED; bottom_const.flags |= RTLIL::CONST_FLAG_SIGNED;
top_const.flags |= RTLIL::CONST_FLAG_SIGNED; top_const.flags |= RTLIL::CONST_FLAG_SIGNED;
} }
attributes.emplace(ID(bottom_bound), bottom_const); // attributes.emplace(ID(bottom_bound), bottom_const);
attributes.emplace(ID(top_bound), top_const); // attributes.emplace(ID(top_bound), top_const);
} }
if (!type_range->IsTypeEnum()) if (!type_range->IsTypeEnum())
return; return;