diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-05-24 18:57:52 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-05-24 18:57:52 +0100 |
| commit | 71a7e31ed99625e2f493ad99972b8446744da54e (patch) | |
| tree | 322026ad9b5759611a906cc3a44c7a636bfc41e1 /runtime/POSIX/fd.h | |
| parent | 4278fdcb819bb9a68ed43f88c86df21c6b04a0ab (diff) | |
| download | klee-71a7e31ed99625e2f493ad99972b8446744da54e.tar.gz | |
Split creation of symbolic files and stdin in two distinct options
Diffstat (limited to 'runtime/POSIX/fd.h')
| -rw-r--r-- | runtime/POSIX/fd.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h index cb86295c..4a6fbc15 100644 --- a/runtime/POSIX/fd.h +++ b/runtime/POSIX/fd.h @@ -71,9 +71,9 @@ typedef struct { extern exe_file_system_t __exe_fs; extern exe_sym_env_t __exe_env; -void klee_init_fds(unsigned n_files, unsigned file_length, - int sym_stdout_flag, int do_all_writes_flag, - unsigned max_failures); +void klee_init_fds(unsigned n_files, unsigned file_length, + unsigned stdin_length, int sym_stdout_flag, + int do_all_writes_flag, unsigned max_failures); void klee_init_env(int *argcPtr, char ***argvPtr); /* *** */ |