diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-04-05 17:47:31 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-04-05 17:47:31 +0000 |
| commit | b1d7d77a2b8380833853e6bdb000f2383ddd5814 (patch) | |
| tree | c7ebecf6f018e51bc4725131ca0039c4116cff88 /www/TestingCoreutils.html | |
| parent | 4ad66e2e348597ffb814c23232d2ca453785f9d6 (diff) | |
| download | klee-b1d7d77a2b8380833853e6bdb000f2383ddd5814.tar.gz | |
Removed unnecessary --init-env option.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154110 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/TestingCoreutils.html')
| -rw-r--r-- | www/TestingCoreutils.html | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/www/TestingCoreutils.html b/www/TestingCoreutils.html index 07169efe..3465382f 100644 --- a/www/TestingCoreutils.html +++ b/www/TestingCoreutils.html @@ -356,17 +356,17 @@ KLEE: done: generated tests = 1 </p> <p> - When using uClibc and the POSIX runtime, KLEE offers an additional - argument <tt>--init-env</tt> which replaces the programs <tt>main()</tt> - function with a special function (<tt>klee_init_env</tt>) provided inside - the runtime library. This function alters the normal command line processing - of the application, in particular to support construction of symbolic + When using uClibc and the POSIX runtime, KLEE replaces the + program's <tt>main()</tt> function with a special function + (<tt>klee_init_env</tt>) provided inside the runtime library. This + function alters the normal command line processing of the + application, in particular to support construction of symbolic arguments. For example, passing <tt>--help</tt> yields: </p> <div class="instr"> <pre> -<b>src$ klee --libc=uclibc --posix-runtime --init-env ./echo.bc --help</b> +<b>src$ klee --libc=uclibc --posix-runtime ./echo.bc --help</b> <i>...</i> usage: (klee_init_env) [options] [program arguments] @@ -388,7 +388,7 @@ usage: (klee_init_env) [options] [program arguments] <div class="instr"> <pre> -<b>src$ klee --libc=uclibc --posix-runtime --init-env ./echo.bc --sym-arg 3</b> +<b>src$ klee --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3</b> KLEE: NOTE: Using model: /home/ddunbar/public/klee/Release/lib/libkleeRuntimePOSIX.bca KLEE: output directory = "klee-out-16" KLEE: WARNING: undefined reference to function: __signbitl @@ -495,7 +495,7 @@ KLEE: done: generated tests = 25<pre> <div class="instr"> <pre> -<b>src$ klee --optimize --libc=uclibc --posix-runtime --init-env ./echo.bc --sym-arg 3</b> +<b>src$ klee --optimize --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3</b> <i>...</i> KLEE: done: total instructions = 123251 KLEE: done: completed paths = 25 @@ -802,7 +802,7 @@ Lines executed:50.50% of 101 <div class="instr"> <pre> -<b>src$ klee --only-output-states-covering-new --optimize --libc=uclibc --posix-runtime --init-env ./echo.bc --sym-args 0 2 4</b> +<b>src$ klee --only-output-states-covering-new --optimize --libc=uclibc --posix-runtime ./echo.bc --sym-args 0 2 4</b> <i> ... </i> KLEE: done: total instructions = 7437521 KLEE: done: completed paths = 9963 |