about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-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