aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2020-08-30 13:15:06 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2020-08-30 13:15:06 +0200
commit2f93579bd1d4d81b0ee3d327e604c0c4773759a7 (patch)
treed0ec3df22323ce4dd3201133a506e9e24b12e4a9 /frontends/verific/verific.cc
parentb1e3bc059c61589551bc1a9204b517adfe9ea9ce (diff)
downloadyosys-2f93579bd1d4d81b0ee3d327e604c0c4773759a7.tar.gz
yosys-2f93579bd1d4d81b0ee3d327e604c0c4773759a7.tar.bz2
yosys-2f93579bd1d4d81b0ee3d327e604c0c4773759a7.zip
Do not check for 1 and 0 only
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r--frontends/verific/verific.cc6
1 files changed, 0 insertions, 6 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 0bac2b57c..c974c3faa 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -203,12 +203,6 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
auto p = v;
if (p) {
if (*p != '"') {
- auto *q = p;
- for (; *q != '\0'; q++)
- if (*q != '0' && *q != '1') {
- p = nullptr;
- break;
- }
if (p != nullptr)
attributes.emplace(stringf("\\enum_value_%s", p), RTLIL::escape_id(k));
} else {