// RUN: %clang %s -emit-llvm %O0opt -c -o %t2.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --posix-runtime --exit-on-error %t2.bc --sym-files 1 10 #include #include #include int main(int argc, char **argv) { int fd = open("A", O_TRUNC); assert(fd == 3); assert(!close(0)); assert(!close(1)); assert(close(0) == -1); assert(close(1) == -1); assert(open("A", O_TRUNC) == 0); assert(dup(0) == 1); assert(open("A", O_TRUNC) == 4); assert(!close(1)); assert(open("A", O_TRUNC) == 1); assert(dup(0) != 1); assert(dup2(0,1) == 1); return 0; }