From 86ad40951ff303b7dc8cc2492900ca5d82ff4d6f Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 19 Sep 2018 14:03:58 +0100
Subject: Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to
 make stdin symbolic.

---
 test/Runtime/POSIX/DirSeek.c | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'test/Runtime/POSIX/DirSeek.c')

diff --git a/test/Runtime/POSIX/DirSeek.c b/test/Runtime/POSIX/DirSeek.c
index 4c68a30c..821ff8f5 100644
--- a/test/Runtime/POSIX/DirSeek.c
+++ b/test/Runtime/POSIX/DirSeek.c
@@ -7,7 +7,7 @@
 // RUN: %klee --output-dir=%t.klee-out --run-in=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t2.bc --sym-files 1 2
 // RUN: rm -rf %t.klee-out %t.klee-out-tmp
 // RUN: %gentmp %t.klee-out-tmp
-// RUN: %klee --output-dir=%t.klee-out --run-in=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t2.bc --sym-files 0 2
+// RUN: %klee --output-dir=%t.klee-out --run-in=%t.klee-out-tmp --libc=uclibc --posix-runtime --exit-on-error %t2.bc --sym-files 1 2 --sym-stdin 2
 
 // For this test really to work as intended it needs to be run in a
 // directory large enough to cause uclibc to do multiple getdents
@@ -15,10 +15,8 @@
 // Therefore gentmp generates a directory with a specific amount of entries
 
 #include <assert.h>
-#include <stdio.h>
-#include <stdlib.h>
+#include <sys/types.h>
 #include <dirent.h>
-#include <sys/stat.h>
 #include <errno.h>
 #include <string.h>
 
@@ -54,7 +52,7 @@ int main(int argc, char **argv) {
   rewinddir(d);
   de = readdir(d);
   assert(de);
-  assert(strcmp(de->d_name, first) == 0);  
+  assert(strcmp(de->d_name, first) == 0);
   closedir(d);
 
   return 0;
-- 
cgit 1.4.1