From bec4ceafe412a08de303678581e07451a1399e1f Mon Sep 17 00:00:00 2001 From: Andrea Mattavelli Date: Wed, 10 Aug 2016 16:43:31 +0100 Subject: Added -save-all-writes to klee_init_env help message --- runtime/POSIX/klee_init_env.c | 4 ++++ 1 file changed, 4 insertions(+) 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 - 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 - Allow up to N injected failures\n\ -fd-fail - Shortcut for '-max-fail 1'\n\n"); } -- cgit 1.4.1