From: Claire Xenia Wolf <claire@clairexen.net>
Date: Fri, 10 Dec 2021 13:52:27 +0000 (+0100)
Subject: Fix verific import of enum values with x and/or z
X-Git-Tag: yosys-0.13~39^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2da214d72168400b9ea4d0d2f1a90417c1525658;p=yosys.git

Fix verific import of enum values with x and/or z

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index dccdcb482..03640e9aa 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;
 							}