From 495b3e52eee463c7eea618ca55d5ff12c288e87e Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 8 May 2018 11:20:05 +0100 Subject: Fix test case to check for correct call string --- test/Runtime/POSIX/FD_Fail2.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Runtime/POSIX') 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 -- cgit 1.4.1