From bab3011da22f3569fb1e70ecf8c5b0c2700358a7 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 20 Feb 2020 12:42:16 +0000 Subject: [klee-stats] Check for existence of stats file for Grafana as well --- tools/klee-stats/klee-stats | 5 +++-- 1 file 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))] -- cgit 1.4.1