Improve the filter option.

- When no filters match, retry with the original filters prefixed and
suffixed with `*`. This allows not specifying wildcards for simple
runs. For example `./tools/benchmarks/run.py --filter Sort` would not run
anything.
- Do not crash while computing statistics if there are no results.
- Add support for filtering to the top-level `compare.py` script.

Change-Id: I7d279f6ecaf9dfdd5c76abba035da2315578ff2f

1 files changed, 4 insertions, 0 deletions

diff --git a/compare.py b/compare.py
index 2b8b2bf..017b033 100755
--- a/compare.py
+++ b/compare.py
@@ -73,4 +73,8 @@ if __name__ == "__main__":
     res_2 = json.load(file_2, object_pairs_hook=OrderedDict)
     file_1.close()
     file_2.close()
+
+    res_1 = utils.Filter(res_1, args.filter, args.filter_out)
+    res_2 = utils.Filter(res_2, args.filter, args.filter_out)
+
     PrintDiff(res_1, res_2)