From 4422e96380db1ab6b05251f9e0fdc20bc794d4a7 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 27 May 2016 19:01:56 +0100 Subject: Improved help message for POSIX environment options. --- runtime/POSIX/klee_init_env.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'runtime/POSIX') diff --git a/runtime/POSIX/klee_init_env.c b/runtime/POSIX/klee_init_env.c index 8e578cf0..7ac9804c 100644 --- a/runtime/POSIX/klee_init_env.c +++ b/runtime/POSIX/klee_init_env.c @@ -108,11 +108,11 @@ usage: (klee_init_env) [options] [program arguments]\n\ -sym-arg - Replace by a symbolic argument with length N\n\ -sym-args - Replace by at least MIN arguments and at most\n\ MAX arguments, each with maximum length N\n\ - -sym-files - Make up to NUM symbolic files, each\n\ - with maximum size N.\n\ - -sym-stdin - Make stdin symbolic with maximum size N.\n\ + -sym-files - Make NUM symbolic files ('A', 'B', 'C', etc.),\n\ + each with size N\n\ + -sym-stdin - Make stdin symbolic with size N.\n\ -sym-stdout - Make stdout symbolic.\n\ - -max-fail - Allow up to injected failures\n\ + -max-fail - Allow up to N injected failures\n\ -fd-fail - Shortcut for '-max-fail 1'\n\n"); } -- cgit 1.4.1