diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2024-05-02 17:53:41 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-05-02 17:53:41 +0900 |
| commit | 55b8a71ae4365b00fcca28d7e9c543bcf15cd6cc (patch) | |
| tree | c43faf87e56b3b87c891d5dec7536201c3eee50e /runtime/POSIX/fd_init.c | |
| parent | c7b3ca819d5d68345f18f5ac9af7b43ca486ceb8 (diff) | |
| download | klee-55b8a71ae4365b00fcca28d7e9c543bcf15cd6cc.tar.gz | |
Refine support for stdio capture
Diffstat (limited to 'runtime/POSIX/fd_init.c')
| -rw-r--r-- | runtime/POSIX/fd_init.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/POSIX/fd_init.c b/runtime/POSIX/fd_init.c index b93148ec..90c04a73 100644 --- a/runtime/POSIX/fd_init.c +++ b/runtime/POSIX/fd_init.c @@ -153,7 +153,7 @@ void klee_init_fds(unsigned n_files, unsigned file_length, __exe_fs.sym_stdout = malloc(sizeof(*__exe_fs.sym_stdout)); if (!__exe_fs.sym_stdout) klee_report_error(__FILE__, __LINE__, "out of memory in klee_init_env", "user.err"); - __create_new_dfile(__exe_fs.sym_stdout, stdout_length, "stdout", &s); + __create_new_dfile(__exe_fs.sym_stdout, stdout_length, "out!stdout!0", &s); __exe_env.fds[1].dfile = __exe_fs.sym_stdout; __exe_fs.stdout_writes = 0; } |