diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-19 14:08:09 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-20 21:49:58 +0100 |
commit | 78e618726dfc43376b16d07985f7a8951923d389 (patch) | |
tree | b4c9df3ecd3df1d3e865126a2a9be86dcbc20845 | |
parent | 86ad40951ff303b7dc8cc2492900ca5d82ff4d6f (diff) | |
download | klee-78e618726dfc43376b16d07985f7a8951923d389.tar.gz |
Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic and removed unused arguments to main.
-rw-r--r-- | test/Runtime/POSIX/Ioctl.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/Runtime/POSIX/Ioctl.c b/test/Runtime/POSIX/Ioctl.c index f1caaf77..c8937a37 100644 --- a/test/Runtime/POSIX/Ioctl.c +++ b/test/Runtime/POSIX/Ioctl.c @@ -1,17 +1,15 @@ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out --posix-runtime --exit-on-error %t.bc --sym-files 0 4 +// RUN: %klee --output-dir=%t.klee-out --posix-runtime --exit-on-error %t.bc --sym-stdin 4 #include <assert.h> -#include <fcntl.h> #include <sys/stat.h> #include <sys/ioctl.h> #include <termios.h> -#include <asm/ioctls.h> #include <errno.h> #include <stdio.h> -int main(int argc, char **argv) { +int main() { struct stat s; struct termios ts; |