diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index e9568269..a4f141e3 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -49,6 +49,13 @@ This package contains a self-contained source+binary distribution of KLEE and al The only requirement is that you are running a reasonably-modern x86-Linux distro that can execute 32-bit ELF binaries. This package was created using the <a href="http://www.stanford.edu/~pgbovine/cde.html">CDE auto-packaging tool</a>. </p> +<p> +<b>NOTE:</b> The CDE package is mainly meant for trying out KLEE on +some simple examples and the Coreutils case study. It is likely that +you will run into errors when testing other applications, in which +case you will need to follow the full installation instructions below. +</p> + <h2 id="build">Building KLEE</h2> |