Don't use python asserts to handle unexpected solver output

[SymbiYosys.git] / sbysrc / sby_core.py

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 55b582ec883440bf9fcffa36298d1fa506ac325b..eec0fe6611acd1f507c0cba0aec520254bc8d024 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -52,6 +52,7 @@ class SbyProc:
         self.finished = False
         self.terminated = False
         self.checkretcode = False
+        self.retcodes = [0]
         self.task = task
         self.info = info
         self.deps = deps
@@ -199,7 +200,7 @@ class SbyProc:
                 self.task.terminate()
                 return
 
-            if self.checkretcode and self.p.returncode != 0:
+            if self.checkretcode and self.p.returncode not in self.retcodes:
                 self.task.status = "ERROR"
                 if not self.silent:
                     self.task.log(f"{self.info}: task failed. ERROR.")