Fix test case to check for correct call string

klee · May 9, 2018 · 495b3e5 · 495b3e5
1 parent 13b5bcb
commit 495b3e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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