From 6b5c91d2bb3f93f2e2a9d4b64bee71413007cd4a Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 9 Dec 2010 18:40:58 +0000
Subject: Moved maze example to the Tutorials page.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121394 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Tutorials.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'www/Tutorials.html')

diff --git a/www/Tutorials.html b/www/Tutorials.html
index e4a027d7..e063a9a8 100644
--- a/www/Tutorials.html
+++ b/www/Tutorials.html
@@ -21,8 +21,15 @@
     <li><a href="Tutorial-2.html">Tutorial Two</a>: Testing a simple regular
       expression library.</li>
 
-    <li><a href="TestingCoreutils.html">Testing Coreutils</a>: In depth
-      description of how to use KLEE to test GNU Coreutils..</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 how to use KLEE to find all the
+      solutions to a maze game.
+    </li>
+
+    <li><a href="TestingCoreutils.html">Testing Coreutils</a>: In-depth
+      description of how to use KLEE to test GNU Coreutils.</li>
   </ol>
 
 
-- 
cgit 1.4.1