From 3af499c60f664711501cf3ee1ab5ff1943315e82 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Sun, 30 Aug 2020 13:33:03 +0200 Subject: [PATCH] ast recognize lower case x and z and verific gives upper case --- frontends/verific/verific.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index c974c3faa..4358d957d 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -203,8 +203,12 @@ void VerificImporter::import_attributes(dict &att auto p = v; if (p) { if (*p != '"') { - if (p != nullptr) - attributes.emplace(stringf("\\enum_value_%s", p), RTLIL::escape_id(k)); + auto l = strlen(p); + auto q = (char*)malloc(l+1); + strncpy(q, p, l); + q[l] = '\0'; + for(char *ptr = q; *ptr; ++ptr )*ptr = tolower(*ptr); + attributes.emplace(stringf("\\enum_value_%s", q), RTLIL::escape_id(k)); } else { auto *q = p+1; for (; *q != '"'; q++) -- 2.30.2