mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-15 10:26:17 +00:00
Code Activity

Switched to utf-8 in smtio.py

Browse source
This commit is contained in:
Miodrag Milanovic 2022-08-09 12:54:48 +02:00
parent 99f1c71582
commit 4444d5cf68
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smtio.py
View file

@ -337,7 +337,7 @@ class SmtIo:
def p_thread_main(self): def p_thread_main(self):
while True: while True:
data = self.p.stdout.readline().decode("ascii") data = self.p.stdout.readline().decode("utf-8")
if data == "": break if data == "": break
self.p_queue.put(data) self.p_queue.put(data)
self.p_queue.put("") self.p_queue.put("")
@ -359,7 +359,7 @@ class SmtIo:
def p_write(self, data, flush): def p_write(self, data, flush):
assert self.p is not None assert self.p is not None
self.p.stdin.write(bytes(data, "ascii")) self.p.stdin.write(bytes(data, "utf-8"))
if flush: self.p.stdin.flush() if flush: self.p.stdin.flush()
def p_read(self): def p_read(self):