diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-03 13:54:09 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-03 13:54:09 +0000 |
| commit | 93b5671574cb1922e13ead59493dcc185e9c626d (patch) | |
| tree | 9fd8aab366da11e554f419c443ab17f43efaf3e7 /README.md | |
| parent | 74160196dd50284396a145be244eef01291afc57 (diff) | |
| download | klee-93b5671574cb1922e13ead59493dcc185e9c626d.tar.gz | |
Consistent capitalization of "KLEE"
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md index bbf9ebc9..e894ebc1 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -Klee Symbolic Virtual Machine +KLEE Symbolic Virtual Machine ============================= [](https://travis-ci.org/klee/klee) -`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 |