From 2bd684d2bfb7eaeff14f331453f92a1fe05a7bda Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Mon, 28 Sep 2020 17:44:20 +0100
Subject: tests: add tests for empty .stats and additional/missing columns

---
 test/Feature/KleeStatsColumns.test | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 test/Feature/KleeStatsColumns.test

(limited to 'test/Feature/KleeStatsColumns.test')

diff --git a/test/Feature/KleeStatsColumns.test b/test/Feature/KleeStatsColumns.test
new file mode 100644
index 00000000..91731857
--- /dev/null
+++ b/test/Feature/KleeStatsColumns.test
@@ -0,0 +1,5 @@
+RUN: %klee-stats --print-all %S/klee-stats/missing_column %S/klee-stats/run %S/klee-stats/additional_column | FileCheck %s
+
+CHECK: {{^}}| missing_column  |        |{{.*}}|             |{{$}}
+CHECK: {{^}}|       run       |       3|{{.*}}|             |{{$}}
+CHECK: {{^}}|additional_column|       3|{{.*}}|         4711|{{$}}
-- 
cgit 1.4.1