From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 26 Feb 2017 13:39:07 +0000 (+0100)
Subject: Fix bug in smtio unroll code
X-Git-Tag: yosys-0.8~469
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e152f7aa1a5752eae6e7bd8a67dfce2bd0d64f6;p=yosys.git

Fix bug in smtio unroll code
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 93133a462..1278d00aa 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -215,9 +215,8 @@ class SmtIo:
         stmt = stmt.strip()
 
         if self.nocomments or self.unroll:
-            if stmt.startswith(";"):
-                return
-            stmt = re.sub(r" ;.*", "", stmt)
+            stmt = re.sub(r" *;.*", "", stmt)
+            if stmt == "": return
 
         if unroll and self.unroll:
             stmt = self.unroll_buffer + stmt