diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-08-10 16:43:31 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-08-19 17:51:40 +0100 |
| commit | bec4ceafe412a08de303678581e07451a1399e1f (patch) | |
| tree | 8a9ab6eee94c8f25194333fd423eb5483966fe4f /runtime/POSIX | |
| parent | 66b3470f4d01df50bc77d9f96e3c526e8e4cbf91 (diff) | |
| download | klee-bec4ceafe412a08de303678581e07451a1399e1f.tar.gz | |
Added -save-all-writes to klee_init_env help message
Diffstat (limited to 'runtime/POSIX')
| -rw-r--r-- | runtime/POSIX/klee_init_env.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/runtime/POSIX/klee_init_env.c b/runtime/POSIX/klee_init_env.c index 7ac9804c..1fa6adea 100644 --- a/runtime/POSIX/klee_init_env.c +++ b/runtime/POSIX/klee_init_env.c @@ -112,6 +112,10 @@ usage: (klee_init_env) [options] [program arguments]\n\ each with size N\n\ -sym-stdin <N> - Make stdin symbolic with size N.\n\ -sym-stdout - Make stdout symbolic.\n\ + -save-all-writes - Allow write operations to execute as expected\n\ + even if they exceed the file size. If set to 0, all\n\ + writes exceeding the initial file size are discarded.\n\ + Note: file offset is always incremented.\n\ -max-fail <N> - Allow up to N injected failures\n\ -fd-fail - Shortcut for '-max-fail 1'\n\n"); } |