From: N. Engelhardt <nak@yosyshq.com>
Date: Thu, 24 Mar 2022 09:19:17 +0000 (+0100)
Subject: ignore # comment lines
X-Git-Tag: yosys-0.16~29^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a7ee01065acc3522277230bcb31859193033d723;p=yosys.git

ignore # comment lines
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index 7e0d8f571..7527f4105 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -492,7 +492,7 @@ if aimfile is not None:
             got_state = True
 
         for entry in f.read().splitlines():
-            if len(entry) == 0 or entry[0] in "bcjfu.":
+            if len(entry) == 0 or entry[0] in "bcjfu.#":
                 continue
 
             if not got_state: