From 74ef9ab52bd440187dd21a898c60b9dec792be4a Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 28 Oct 2010 19:06:51 +0000
Subject: Add a link to a neat KLEE usage example.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117574 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Documentation.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/www/Documentation.html b/www/Documentation.html
index cf20cc5d..98d4ef1f 100644
--- a/www/Documentation.html
+++ b/www/Documentation.html
@@ -35,6 +35,13 @@
       the KLEE solver (kleaver).
     </li>
 
+    <li>
+      <a href="http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/">Solving a maze with KLEE</a>:
+
+      A nice explanation of how symbolic execution can be used to generate
+      interesting program inputs. The example shows using KLEE to find all the
+      solutions to a maze game.
+    </li>
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1