about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2022-01-06 16:37:27 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-01-07 12:46:01 +0000
commita77cc6772099003338b3292803a1c710d2df8aed (patch)
treeaba1faabbefd4ff199c274d820e218b65387e9ff /tools
parentb9308c3cc6eb8a8ff2177f7904d81919a8cc0828 (diff)
downloadklee-a77cc6772099003338b3292803a1c710d2df8aed.tar.gz
klee-stats: do not print summary line for csv/readable-csv
Diffstat (limited to 'tools')
-rwxr-xr-xtools/klee-stats/klee-stats2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index a699fb3d..1229e746 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -352,7 +352,7 @@ def write_table(args, data, dirs, pr):
 
     # Add a summary row
     max_len = len(data)
-    if max_len > 1:
+    if max_len > 1 and args.tableFormat not in ['csv', 'readable-csv']:
         # calculate the total
         for k in table:
             if k == "Path": # Skip path