about summary refs log tree commit diff homepage
path: root/tools/klee-stats
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-02-20 12:42:16 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-03-01 20:29:18 +0000
commitbab3011da22f3569fb1e70ecf8c5b0c2700358a7 (patch)
tree847466d0f8efdee94288f3cd27bcd4c60433b168 /tools/klee-stats
parentfdaa441abbd47b7e0daba680eddf72c859c47f08 (diff)
downloadklee-bab3011da22f3569fb1e70ecf8c5b0c2700358a7.tar.gz
[klee-stats] Check for existence of stats file for Grafana as well
Diffstat (limited to 'tools/klee-stats')
-rwxr-xr-xtools/klee-stats/klee-stats5
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))]