diff options
Diffstat (limited to 'test/Runtime/POSIX/Isatty.c')
| -rw-r--r-- | test/Runtime/POSIX/Isatty.c | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/test/Runtime/POSIX/Isatty.c b/test/Runtime/POSIX/Isatty.c index fdfc6ceb..b9232e01 100644 --- a/test/Runtime/POSIX/Isatty.c +++ b/test/Runtime/POSIX/Isatty.c @@ -5,35 +5,33 @@ // RUN: test -f %t.klee-out/test000002.ktest // RUN: test -f %t.klee-out/test000003.ktest // RUN: test -f %t.klee-out/test000004.ktest -// RUN: grep -q "stdin is a tty" %t.log -// RUN: grep -q "stdin is NOT a tty" %t.log -// RUN: grep -q "stdout is a tty" %t.log -// RUN: grep -q "stdout is NOT a tty" %t.log +// RUN: FileCheck --input-file=%t.log %s // Depending on how uClibc is compiled (i.e. without -DKLEE_SYM_PRINTF) // fprintf prints out on stdout even if stderr is provided. -#include <unistd.h> -#include <stdio.h> #include <assert.h> +#include <stdio.h> +#include <unistd.h> -// FIXME: Use new FileCheck to check klee's output -int main(int argc, char** argv) { +int main(int argc, char **argv) { int fd0 = 0; // stdin int fd1 = 1; // stdout int r = isatty(fd0); // CHECK-DAG: stdin is a tty // CHECK-DAG: stdin is NOT a tty - if (r) + if (r) fprintf(stderr, "stdin is a tty\n"); - else fprintf(stderr, "stdin is NOT a tty\n"); - + else + fprintf(stderr, "stdin is NOT a tty\n"); + r = isatty(fd1); // CHECK-DAG: stdout is a tty // CHECK-DAG: stdout is NOT a tty - if (r) + if (r) fprintf(stderr, "stdout is a tty\n"); - else fprintf(stderr, "stdout is NOT a tty\n"); + else + fprintf(stderr, "stdout is NOT a tty\n"); return 0; } |