about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2018-09-19 14:08:09 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-09-20 21:49:58 +0100
commit78e618726dfc43376b16d07985f7a8951923d389 (patch)
treeb4c9df3ecd3df1d3e865126a2a9be86dcbc20845
parent86ad40951ff303b7dc8cc2492900ca5d82ff4d6f (diff)
downloadklee-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.c6
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;