From 6151c480150abda5c4181ddd1df3768b87b67db3 Mon Sep 17 00:00:00 2001 From: Markus N Rabe Date: Sat, 16 Mar 2019 11:21:52 -0700 Subject: [PATCH] improved run.py --- scripts/run.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/run.py b/scripts/run.py index 47eecd5..266fbca 100755 --- a/scripts/run.py +++ b/scripts/run.py @@ -80,10 +80,10 @@ def get_paths_from_categories(categories, directory): omitted_files = 0 detected_files = 0 for filename in filenames: - if filename.endswith('qdimacs.gz') or \ - filename.endswith('aag') or \ - filename.endswith('aig') or \ - filename.endswith('qdimacs'): + if filename.endswith('.qdimacs.gz') or \ + filename.endswith('.aag') or \ + filename.endswith('.aig') or \ + filename.endswith('.qdimacs'): paths[os.path.join(dirpath,filename)] = (os.path.join(dirpath,filename), 30) detected_files += 1