tests: add tests for empty .stats and additional/missing columns

10 files changed, 93 insertions, 0 deletions

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|{{$}}
diff --git a/test/Feature/KleeStatsEmpty.test b/test/Feature/KleeStatsEmpty.test
new file mode 100644
index 00000000..aae1fee1
--- /dev/null
+++ b/test/Feature/KleeStatsEmpty.test
@@ -0,0 +1,4 @@
+RUN: %klee-stats %S/klee-stats/empty | FileCheck %s
+
+CHECK: {{^}}|{{ *}}Path{{ *}}|{{$}}
+CHECK: {{^}}|{{.*}}empty{{ *}}|{{$}}
diff --git a/test/Feature/klee-stats/additional_column/info b/test/Feature/klee-stats/additional_column/info
new file mode 100644
index 00000000..1d6e6cdd
--- /dev/null
+++ b/test/Feature/klee-stats/additional_column/info
@@ -0,0 +1,21 @@
+klee run.bc
+PID: 1122888
+Using monotonic steady clock with 1/1000000000s resolution
+Started: 2020-09-25 18:44:34
+BEGIN searcher description
+<InterleavedSearcher> containing 2 searchers:
+RandomPathSearcher
+WeightedRandomSearcher::CoveringNew
+</InterleavedSearcher>
+END searcher description
+Finished: 2020-09-25 18:44:34
+Elapsed: 00:00:00
+KLEE: done: explored paths = 1
+KLEE: done: total queries = 0
+KLEE: done: valid queries = 0
+KLEE: done: invalid queries = 0
+KLEE: done: query cex = 0
+
+KLEE: done: total instructions = 3
+KLEE: done: completed paths = 1
+KLEE: done: generated tests = 1
diff --git a/test/Feature/klee-stats/additional_column/run.stats b/test/Feature/klee-stats/additional_column/run.stats
new file mode 100644
index 00000000..13ff326c
--- /dev/null
+++ b/test/Feature/klee-stats/additional_column/run.stats
Binary files differdiff --git a/test/Feature/klee-stats/empty/info b/test/Feature/klee-stats/empty/info
new file mode 100644
index 00000000..1d6e6cdd
--- /dev/null
+++ b/test/Feature/klee-stats/empty/info
@@ -0,0 +1,21 @@
+klee run.bc
+PID: 1122888
+Using monotonic steady clock with 1/1000000000s resolution
+Started: 2020-09-25 18:44:34
+BEGIN searcher description
+<InterleavedSearcher> containing 2 searchers:
+RandomPathSearcher
+WeightedRandomSearcher::CoveringNew
+</InterleavedSearcher>
+END searcher description
+Finished: 2020-09-25 18:44:34
+Elapsed: 00:00:00
+KLEE: done: explored paths = 1
+KLEE: done: total queries = 0
+KLEE: done: valid queries = 0
+KLEE: done: invalid queries = 0
+KLEE: done: query cex = 0
+
+KLEE: done: total instructions = 3
+KLEE: done: completed paths = 1
+KLEE: done: generated tests = 1
diff --git a/test/Feature/klee-stats/empty/run.stats b/test/Feature/klee-stats/empty/run.stats
new file mode 100644
index 00000000..00efaa44
--- /dev/null
+++ b/test/Feature/klee-stats/empty/run.stats
Binary files differdiff --git a/test/Feature/klee-stats/missing_column/info b/test/Feature/klee-stats/missing_column/info
new file mode 100644
index 00000000..1d6e6cdd
--- /dev/null
+++ b/test/Feature/klee-stats/missing_column/info
@@ -0,0 +1,21 @@
+klee run.bc
+PID: 1122888
+Using monotonic steady clock with 1/1000000000s resolution
+Started: 2020-09-25 18:44:34
+BEGIN searcher description
+<InterleavedSearcher> containing 2 searchers:
+RandomPathSearcher
+WeightedRandomSearcher::CoveringNew
+</InterleavedSearcher>
+END searcher description
+Finished: 2020-09-25 18:44:34
+Elapsed: 00:00:00
+KLEE: done: explored paths = 1
+KLEE: done: total queries = 0
+KLEE: done: valid queries = 0
+KLEE: done: invalid queries = 0
+KLEE: done: query cex = 0
+
+KLEE: done: total instructions = 3
+KLEE: done: completed paths = 1
+KLEE: done: generated tests = 1
diff --git a/test/Feature/klee-stats/missing_column/run.stats b/test/Feature/klee-stats/missing_column/run.stats
new file mode 100644
index 00000000..f970511c
--- /dev/null
+++ b/test/Feature/klee-stats/missing_column/run.stats
Binary files differdiff --git a/test/Feature/klee-stats/run/info b/test/Feature/klee-stats/run/info
new file mode 100644
index 00000000..1d6e6cdd
--- /dev/null
+++ b/test/Feature/klee-stats/run/info
@@ -0,0 +1,21 @@
+klee run.bc
+PID: 1122888
+Using monotonic steady clock with 1/1000000000s resolution
+Started: 2020-09-25 18:44:34
+BEGIN searcher description
+<InterleavedSearcher> containing 2 searchers:
+RandomPathSearcher
+WeightedRandomSearcher::CoveringNew
+</InterleavedSearcher>
+END searcher description
+Finished: 2020-09-25 18:44:34
+Elapsed: 00:00:00
+KLEE: done: explored paths = 1
+KLEE: done: total queries = 0
+KLEE: done: valid queries = 0
+KLEE: done: invalid queries = 0
+KLEE: done: query cex = 0
+
+KLEE: done: total instructions = 3
+KLEE: done: completed paths = 1
+KLEE: done: generated tests = 1
diff --git a/test/Feature/klee-stats/run/run.stats b/test/Feature/klee-stats/run/run.stats
new file mode 100644
index 00000000..e1c8c425
--- /dev/null
+++ b/test/Feature/klee-stats/run/run.stats
Binary files differ