diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-08 11:20:05 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-09 14:07:52 +0100 |
| commit | 495b3e52eee463c7eea618ca55d5ff12c288e87e (patch) | |
| tree | 119c238bbc8b2bfc6b879120d18246f459128fb6 /test | |
| parent | 13b5bcbfd933461526f08c6ad759af9e129d6764 (diff) | |
| download | klee-495b3e52eee463c7eea618ca55d5ff12c288e87e.tar.gz | |
Fix test case to check for correct call string
Diffstat (limited to 'test')
| -rw-r--r-- | test/Runtime/POSIX/FD_Fail2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/FD_Fail2.c b/test/Runtime/POSIX/FD_Fail2.c index 9d7e358f..c1c2cc5f 100644 --- a/test/Runtime/POSIX/FD_Fail2.c +++ b/test/Runtime/POSIX/FD_Fail2.c @@ -4,7 +4,7 @@ // // Check that generated assembly doesn't use puts to output strings // RUN: FileCheck -input-file=%t.klee-out/assembly.ll %s -// CHECK-NOT: puts +// CHECK-NOT: call i32 @puts( // // RUN: test -f %t.klee-out/test000001.ktest // RUN: test -f %t.klee-out/test000002.ktest |