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

Fix: Unresolved reference.

Browse source
This commit is contained in:
Kaj Tuomi 2016-09-02 11:12:30 +03:00
parent 74dd36ad55
commit 279298c0b8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smtio.py
View file

@ -274,7 +274,7 @@ class smtio:
def bv2hex(self, v):
h = ""
v = bv2bin(v)
v = self.bv2bin(v)
while len(v) > 0:
d = 0
if len(v) > 0 and v[-1] == "1": d += 1