mirror of https://github.com/YosysHQ/yosys.git
Merge pull request #3102 from YosysHQ/claire/enumxz
Fix verific import of enum values with x and/or z
This commit is contained in:
commit
2412497c26
|
@ -198,7 +198,7 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
|
||||||
p = nullptr;
|
p = nullptr;
|
||||||
else
|
else
|
||||||
for (auto q = p+2; *q != '\0'; q++)
|
for (auto q = p+2; *q != '\0'; q++)
|
||||||
if (*q != '0' && *q != '1') {
|
if (*q != '0' && *q != '1' && *q != 'x' && *q != 'z') {
|
||||||
p = nullptr;
|
p = nullptr;
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue