Merge pull request #445 from antmicro/443_broken_segprint

utils: segprint: Fix issue #443 with segprint -b
This commit is contained in:
John McMaster 2019-01-07 23:23:03 +01:00 committed by GitHub
commit 069f9f5ff4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -107,8 +107,8 @@ def print_unknown_bits(segments, bitdata):
framebase = int(block["baseaddr"][0], 16)
for i in range(block["frames"]):
words = segframes.setdefault(framebase + i, set())
for j in range(block["baseaddr"][1],
block["baseaddr"][1] + block["words"]):
for j in range(int(block["baseaddr"], 16),
int(block["baseaddr"], 16) + block["words"]):
words.add(j)
# print uncovered locations