diff options
Diffstat (limited to 'runtime/POSIX/misc.c')
| -rw-r--r-- | runtime/POSIX/misc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/POSIX/misc.c b/runtime/POSIX/misc.c index 12ff2f58..d0e88290 100644 --- a/runtime/POSIX/misc.c +++ b/runtime/POSIX/misc.c @@ -69,7 +69,7 @@ char *getenv(const char *name) { if (__klee_sym_env_count < __klee_sym_env_nvars) { if (klee_range(0, 2, name)) { char *s = malloc(__klee_sym_env_var_size+1); - klee_make_symbolic(s, __klee_sym_env_var_size+1); + klee_make_symbolic(s, __klee_sym_env_var_size+1. "env"); s[__klee_sym_env_var_size] = '\0'; memcpy(__klee_sym_env[__klee_sym_env_count].name, name, len+1); |