mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Bugfix in yosys-smtbmc --noincr

Browse source
This commit is contained in:
Clifford Wolf 2016-10-04 00:54:44 +02:00
parent 1114ce9210
commit 5f7c5e685b
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
backends/smt2/smtio.py
View file

@ -270,11 +270,17 @@ class SmtIo:
if self.solver != "dummy": if self.solver != "dummy":
if self.noincr: if self.noincr:
if self.p is not None and not stmt.startswith("(get-"):
self.p.stdin.close()
self.p = None
if stmt == "(push 1)": if stmt == "(push 1)":
self.smt2cache.append(list()) self.smt2cache.append(list())
elif stmt == "(pop 1)": elif stmt == "(pop 1)":
self.smt2cache.pop() self.smt2cache.pop()
else: else:
if self.p is not None:
self.p.stdin.write(bytes(stmt + "\n", "ascii"))
self.p.stdin.flush()
self.smt2cache[-1].append(stmt) self.smt2cache[-1].append(stmt)
else: else:
self.p.stdin.write(bytes(stmt + "\n", "ascii")) self.p.stdin.write(bytes(stmt + "\n", "ascii"))
@ -394,6 +400,7 @@ class SmtIo:
if self.noincr: if self.noincr:
if self.p is not None: if self.p is not None:
self.p.stdin.close() self.p.stdin.close()
self.p = None
self.p = subprocess.Popen(self.popen_vargs, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) self.p = subprocess.Popen(self.popen_vargs, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
for cache_ctx in self.smt2cache: for cache_ctx in self.smt2cache:
for cache_stmt in cache_ctx: for cache_stmt in cache_ctx:
@ -596,7 +603,7 @@ class SmtIo:
return [self.bv2bin(v) for v in self.get_net_list(mod_name, net_path_list, state_name)] return [self.bv2bin(v) for v in self.get_net_list(mod_name, net_path_list, state_name)]
def wait(self): def wait(self):
if self.solver != "dummy": if self.p is not None:
self.p.wait() self.p.wait()