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/CXX/symex/libc++/uncaught_exception.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/CXX/symex/libc++') diff --git a/test/CXX/symex/libc++/uncaught_exception.cpp b/test/CXX/symex/libc++/uncaught_exception.cpp index 3cb54bc3..848013a0 100644 --- a/test/CXX/symex/libc++/uncaught_exception.cpp +++ b/test/CXX/symex/libc++/uncaught_exception.cpp @@ -11,4 +11,5 @@ int main() { } // CHECK: KLEE: ERROR: -// CHECK: KLEE: done: completed paths = 1 +// CHECK: KLEE: done: completed paths = 0 +// CHECK: KLEE: done: partially completed paths = 1 -- cgit 1.4.1