diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-09 23:06:41 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-11 19:23:24 +0100 |
| commit | c10e9e926700773e01f44fbb1917deac7be2aaea (patch) | |
| tree | 7abfceec757330360ec5d4be383e4c7a5a8933b7 /LICENSE.TXT | |
| parent | dab1c0fa376771be1c3cdd5b8d564484755907dd (diff) | |
| download | klee-c10e9e926700773e01f44fbb1917deac7be2aaea.tar.gz | |
Rewrote has_permission in the POSIX runtime. We now only return with permission error a single time in symbolic execution mode.
The rewrite also fixes a bug reported in #1230. Rewrote the FilePerm.c test accordingly.
Diffstat (limited to 'LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions