test: count paths with -dump-states-on-halt=false

RobinWang825 · May 4, 2021 · 95f7f44 · 95f7f44
1 parent 4332106
commit 95f7f44
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/test/regression/2020-02-24-count-paths-nodump.c b/test/regression/2020-02-24-count-paths-nodump.c
@@ -0,0 +1,14 @@
+// ASAN fails because KLEE does not cleanup states with -dump-states-on-halt=false
+// REQUIRES: not-asan
+// RUN: %clang %s -emit-llvm %O0opt -g -c -o %t.bc
+// RUN: rm -rf %t.klee-out
+// RUN: %klee -dump-states-on-halt=false -max-instructions=1 -output-dir=%t.klee-out %t.bc 2>&1 | FileCheck %s
+
+int main(int argc, char **argv) {
+ // just do something
+ int i = 42;
+ ++i;
+}
+
+// CHECK: KLEE: done: completed paths = 0
+// CHECK: KLEE: done: partially completed paths = 1