From 406b6bae86d19565daf4904101c9437fdfc895e8 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 15 Aug 2012 18:30:52 +0000
Subject: 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
---
 www/GetStarted.html | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'www/GetStarted.html')

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>
 
-- 
cgit 1.4.1