I am cloning the repository, installing all the pre-reqs and install all the dependencies. Then I,
Traceback (most recent call last):
File "/usr/local/bin/yosys-smtbmc", line 1418, in <module>
smt_assert_consequent("(|%s_u| s%d)" % (topmod, step))
File "/usr/local/bin/yosys-smtbmc", line 1148, in smt_assert_consequent
smt.write("(assert %s)" % expr)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 402, in write
stmt = self.unparse(self.unroll_stmt(s))
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 290, in unroll_stmt
decl = self.unroll_stmt(decl)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 290, in unroll_stmt
decl = self.unroll_stmt(decl)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 290, in unroll_stmt
decl = self.unroll_stmt(decl)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 290, in unroll_stmt
decl = self.unroll_stmt(decl)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in unroll_stmt
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 261, in <listcomp>
stmt = [self.unroll_stmt(s) for s in stmt]
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 291, in unroll_stmt
self.write(self.unparse(decl), unroll=False)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 436, in write
self.p_write(stmt + "\n", True)
File "/usr/local/bin/../share/yosys/python3/smtio.py", line 319, in p_write
self.p.stdin.flush()
BrokenPipeError: [Errno 32] Broken pipe