diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-02-20 12:42:16 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-01 20:29:18 +0000 |
commit | bab3011da22f3569fb1e70ecf8c5b0c2700358a7 (patch) | |
tree | 847466d0f8efdee94288f3cd27bcd4c60433b168 /tools | |
parent | fdaa441abbd47b7e0daba680eddf72c859c47f08 (diff) | |
download | klee-bab3011da22f3569fb1e70ecf8c5b0c2700358a7.tar.gz |
[klee-stats] Check for existence of stats file for Grafana as well
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/klee-stats/klee-stats | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index ab28ba0f..544a06d3 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -366,12 +366,13 @@ def main(): pr = 'more' dirs = getKleeOutDirs(args.dir) - if args.grafana: - return grafana(dirs, args.grafana_host, args.grafana_port) if len(dirs) == 0: print('no klee output dir found', file=sys.stderr) exit(1) + if args.grafana: + return grafana(dirs, args.grafana_host, args.grafana_port) + # Filter non-existing files, useful for star operations valid_log_files = [getLogFile(f) for f in dirs if os.path.isfile(getLogFile(f))] |