diff options
| author | ITWOI <yuwang_cs@smail.nju.edu.cn> | 2019-09-07 16:52:52 +0800 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-04-14 15:57:34 +0100 |
| commit | 896c652ed7d91d6ff954463c7c1e4bf95096481b (patch) | |
| tree | a5cb559d338bab34c958a3fb3327cc31c0adae34 /runtime | |
| parent | 16010c104775d282525062843e9312b11a13a9aa (diff) | |
| download | klee-896c652ed7d91d6ff954463c7c1e4bf95096481b.tar.gz | |
Modify name of variables in generated cvc files.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/fd_init.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/POSIX/fd_init.c b/runtime/POSIX/fd_init.c index a064e42b..adb1d9f6 100644 --- a/runtime/POSIX/fd_init.c +++ b/runtime/POSIX/fd_init.c @@ -49,7 +49,7 @@ static void __create_new_dfile(exe_disk_file_t *dfile, unsigned size, char sname[64]; for (sp=name; *sp; ++sp) sname[sp-name] = *sp; - memcpy(&sname[sp-name], "-stat", 6); + memcpy(&sname[sp-name], "_stat", 6); assert(size); @@ -106,7 +106,7 @@ void klee_init_fds(unsigned n_files, unsigned file_length, unsigned stdin_length, int sym_stdout_flag, int save_all_writes_flag, unsigned max_failures) { unsigned k; - char name[7] = "?-data"; + char name[7] = "?_data"; struct stat64 s; stat64(".", &s); |