From 74ed0f5aa1b2b7fb1b42fa90ac0d7b3b4e0df85f Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Sun, 21 Mar 2021 21:49:30 +0000 Subject: tests: adjust to new summary output --- test/Feature/SilentKleeAssume.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/Feature/SilentKleeAssume.c') diff --git a/test/Feature/SilentKleeAssume.c b/test/Feature/SilentKleeAssume.c index b9229d2e..06872e9b 100644 --- a/test/Feature/SilentKleeAssume.c +++ b/test/Feature/SilentKleeAssume.c @@ -26,5 +26,6 @@ int main() { // CHECK-SILENT-KLEE-ASSUME: KLEE: output directory is "{{.+}}" // CHECK-SILENT-KLEE-ASSUME: KLEE: done: total instructions = {{[0-9]+}} -// CHECK-SILENT-KLEE-ASSUME: KLEE: done: completed paths = 2 +// CHECK-SILENT-KLEE-ASSUME: KLEE: done: completed paths = 1 +// CHECK-SILENT-KLEE-ASSUME: KLEE: done: partially completed paths = 1 // CHECK-SILENT-KLEE-ASSUME: KLEE: done: generated tests = 1 -- cgit 1.4.1