diff options
Diffstat (limited to 'test/Intrinsics/Missing.ll')
| -rw-r--r-- | test/Intrinsics/Missing.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Intrinsics/Missing.ll b/test/Intrinsics/Missing.ll index c628b952..ed8dbe40 100644 --- a/test/Intrinsics/Missing.ll +++ b/test/Intrinsics/Missing.ll @@ -11,7 +11,8 @@ ; CHECK: KLEE: WARNING: unimplemented intrinsic: llvm.minnum.f32 ; Check that Executor explores all paths -; CHECK: KLEE: done: completed paths = 3 +; CHECK: KLEE: done: completed paths = 1 +; CHECK: KLEE: done: partially completed paths = 2 ; CHECK: KLEE: done: generated tests = 2 |