diff options
| -rw-r--r-- | README.md | 4 | ||||
| -rw-r--r-- | TODO.txt | 2 |
2 files changed, 3 insertions, 3 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 diff --git a/TODO.txt b/TODO.txt index 1e583dad..e547d1bc 100644 --- a/TODO.txt +++ b/TODO.txt @@ -12,7 +12,7 @@ Build System / Configure / Release Cleanups o Need a way to hide LLVM options in "klee --help". -Klee Internal +KLEE Internal -- o Make sure that namespaces and .cpp locations match with reorganized include locations. |