diff options
Diffstat (limited to 'test/CXX/symex/libc++')
| -rw-r--r-- | test/CXX/symex/libc++/uncaught_exception.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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 |