diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-20 18:31:40 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-20 18:31:40 +0000 |
| commit | 992bb82423849797546804da1f73e970fc748928 (patch) | |
| tree | 349aa5db25434118636d8bd8ea0e834a33877e5a /www/Tutorial-1.html | |
| parent | 0b72d4e2102f55b2d38e9b4e9912c0eb3710ba54 (diff) | |
| download | klee-992bb82423849797546804da1f73e970fc748928.tar.gz | |
Web page updates: (1) Improved documentation on files generated by
KLEE; (2) Fixed a couple of errors in Tutorial One, pointed out by Hristina Palikareva. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158834 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/Tutorial-1.html')
| -rw-r--r-- | www/Tutorial-1.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/Tutorial-1.html b/www/Tutorial-1.html index 49d0c7de..beb306e6 100644 --- a/www/Tutorial-1.html +++ b/www/Tutorial-1.html @@ -32,7 +32,7 @@ } </pre> You can find the entire code for this example in the source tree - under <tt>examples/islower</tt>. A version of the source code can + under <tt>examples/get_sign</tt>. A version of the source code can also be accessed <a href="resources/get_sign.c.html">here</a>. <h2>Marking input as symbolic</h2> @@ -164,7 +164,7 @@ point to the name of the desired test case: <pre class="output"> - $ gcc ~klee/Release+Asserts/lib/libkleeRuntest.so get_sign.c + $ gcc path-to-klee-root/Release+Asserts/lib/libkleeRuntest.so get_sign.c $ KTEST_FILE=klee-last/test000001.ktest ./a.out $ echo $? 1 |