diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-05-13 14:54:09 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-05-13 14:54:09 +0100 |
| commit | c9bc016552ab25a3d440c753909b8e1d8c28bd67 (patch) | |
| tree | 32cafe7df86d48067907b86cfc5ebf91957bb709 | |
| parent | 5d8db05524f5216900e952c3e1fc2aac9c424391 (diff) | |
| parent | 185c811b1bf643d7876473e05d15c79b66840102 (diff) | |
| download | klee-c9bc016552ab25a3d440c753909b8e1d8c28bd67.tar.gz | |
Merge pull request #131 from haneefmubarak/patch-1
Update and rename README.txt to README.md
| -rw-r--r-- | README.md (renamed from README.txt) | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/README.txt b/README.md index 96d60a9e..fd724614 100644 --- a/README.txt +++ b/README.md @@ -1,8 +1,7 @@ -//===----------------------------------------------------------------------===// -// Klee Symbolic Virtual Machine -//===----------------------------------------------------------------------===// +Klee Symbolic Virtual Machine +============================= -klee is a symbolic virtual machine built on top of the LLVM compiler +`klee` is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: 1. The core symbolic virtual machine engine; this is responsible for @@ -21,4 +20,4 @@ environment that matches a computed test input, including setting up files, pipes, environment variables, and passing command line arguments. -For further information, see the webpage or docs in www/. +For further information, see the [webpage](http://klee.github.io/klee/). |