diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2021-03-21 21:49:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-05-04 14:58:19 +0100 |
| commit | 74ed0f5aa1b2b7fb1b42fa90ac0d7b3b4e0df85f (patch) | |
| tree | a307bbfa3faf81f6702282082e92c762a3b18384 /test/CXX | |
| parent | 78026968b7ee1abd97f39227ab7494a898c0d287 (diff) | |
| download | klee-74ed0f5aa1b2b7fb1b42fa90ac0d7b3b4e0df85f.tar.gz | |
tests: adjust to new summary output
Diffstat (limited to 'test/CXX')
| -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 |