Don't parse db files with fuzzer of origin information during database validation

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
This commit is contained in:
Tomasz Michalak 2019-05-27 08:45:15 +02:00
parent d1ccb55a58
commit cb22f2f0fe
1 changed files with 3 additions and 0 deletions

View File

@ -67,6 +67,9 @@ def parsedb_all(db_root, verbose=False):
files = 0
for bit_fn in glob.glob('%s/segbits_*.db' % db_root):
# Don't parse db files with fuzzer origin information
if "origin_info" in bit_fn:
continue
verbose and print("Checking %s" % bit_fn)
parsedb.run(bit_fn, fnout=None, strict=True, verbose=verbose)
files += 1