luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #640 from antmicro/check-out-of-bound-bits 

checkdb.py: restored check on all previous tiles
This commit is contained in:
Alessandro Comodi 2019-02-12 22:46:59 +01:00 committed by GitHub
parent 3f99ef3408 1a7302418e
commit 14bfcb835e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
utils/checkdb.py
View File

@ -110,8 +110,6 @@ def check_tile_overlap(db, verbose=False):
else:
tiles_type_done[tile_type] = False
mall[tile_type] = {}
if tiles_type_done[tile_type]:
continue
@ -124,7 +122,7 @@ def check_tile_overlap(db, verbose=False):
collisions = set()
for bits in mtile.keys():
if bits in mall[tile_type].keys():
if bits in mall.keys():
collisions.add(bits)
if collisions:
@ -133,11 +131,10 @@ def check_tile_overlap(db, verbose=False):
addr, bitaddr = ck
word, bit = util.addr_bit2word(bitaddr)
print(
" %s: had %s, got %s" % (
util.addr2str(addr, word, bit), mall[tile_type][ck],
mtile[ck]))
" %s: had %s, got %s" %
(util.addr2str(addr, word, bit), mall[ck], mtile[ck]))
raise ValueError("%s collisions" % len(collisions))
mall[tile_type].update(mtile)
mall.update(mtile)
tiles_checked += 1
print("Checked %s tiles, %s bits" % (tiles_checked, len(mall)))