diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-08-15 18:30:52 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-08-15 18:30:52 +0000 |
| commit | 406b6bae86d19565daf4904101c9437fdfc895e8 (patch) | |
| tree | 39b3d66d8739e3f1e3ac40c630fa987a4d8b8d0d /www/GetStarted.html | |
| parent | 11431b33398ad6ee8eea3eafce4e29d61567e526 (diff) | |
| download | klee-406b6bae86d19565daf4904101c9437fdfc895e8.tar.gz | |
Added note about the scope of the CDE package.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161970 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/GetStarted.html')
| -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> |