[klee] r121394 - in /klee/trunk/www: Documentation.html Tutorials.html

[Cristian Cadar]

Author: cristic
Date: Thu Dec  9 12:40:58 2010
New Revision: 121394

URL: http://llvm.org/viewvc/llvm-project?rev=121394&view=rev
Log:
Moved maze example to the Tutorials page.

Modified:
    klee/trunk/www/Documentation.html
    klee/trunk/www/Tutorials.html

Modified: klee/trunk/www/Documentation.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/Documentation.html?rev=121394&r1=121393&r2=121394&view=diff
==============================================================================
--- klee/trunk/www/Documentation.html (original)
+++ klee/trunk/www/Documentation.html Thu Dec  9 12:40:58 2010
@@ -35,13 +35,6 @@
       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>

Modified: klee/trunk/www/Tutorials.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/Tutorials.html?rev=121394&r1=121393&r2=121394&view=diff
==============================================================================
--- klee/trunk/www/Tutorials.html (original)
+++ klee/trunk/www/Tutorials.html Thu Dec  9 12:40:58 2010
@@ -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>