diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-12-10 19:36:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-10 19:36:37 +0100 |
| commit | 2412497c26131551a4f01262bc0a5f6528527e47 (patch) | |
| tree | ad77c012890ce3c7438c99309ffe59151b59ee23 | |
| parent | f8978f9e0a2a283c517bd3adce990ca96f7a3020 (diff) | |
| parent | 2da214d72168400b9ea4d0d2f1a90417c1525658 (diff) | |
| download | yosys-2412497c26131551a4f01262bc0a5f6528527e47.tar.gz yosys-2412497c26131551a4f01262bc0a5f6528527e47.tar.bz2 yosys-2412497c26131551a4f01262bc0a5f6528527e47.zip | |
Merge pull request #3102 from YosysHQ/claire/enumxz
Fix verific import of enum values with x and/or z
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2f5e8cb9a..2c2858514 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -198,7 +198,7 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att p = nullptr; else for (auto q = p+2; *q != '\0'; q++) - if (*q != '0' && *q != '1') { + if (*q != '0' && *q != '1' && *q != 'x' && *q != 'z') { p = nullptr; break; } |