From 1f6054ae0d0e45c363c401bef3f82479774cf4fb Mon Sep 17 00:00:00 2001 From: Alessandro Comodi Date: Mon, 11 Feb 2019 17:17:28 +0100 Subject: [PATCH] Run make format. Signed-off-by: Alessandro Comodi --- utils/checkdb.py | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/utils/checkdb.py b/utils/checkdb.py index d9e36a51..aafc62fb 100755 --- a/utils/checkdb.py +++ b/utils/checkdb.py @@ -15,7 +15,7 @@ import os import parsedb #from prjxray import db as prjxraydb import glob -import json + def make_tile_mask(db_file, tile_name, tilej, strict=False, verbose=False): ''' @@ -108,22 +108,28 @@ def check_tile_overlap(db, db_root, strict=False, verbose=False): mall[tile_type] = {} mtile = make_tile_mask( - db_files[tile_type], tile_name, tilej, strict=strict, verbose=verbose) + db_files[tile_type], + tile_name, + tilej, + strict=strict, + verbose=verbose) verbose and print( "Checking %s, type %s, bits: %s" % (tile_name, tilej["type"], len(mtile))) if len(mtile) == 0: continue - collisions = set(mall[tile_type].keys()).intersection(set(mtile.keys())) + collisions = set(mall[tile_type].keys()).intersection( + set(mtile.keys())) if collisions: print("ERROR: %s collisions" % len(collisions)) for ck in sorted(collisions): 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[tile_type][ck], + mtile[ck])) raise ValueError("%s collisions" % len(collisions)) mall[tile_type].update(mtile) tiles_checked += 1