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 /TODO.txt | |
| parent | 74160196dd50284396a145be244eef01291afc57 (diff) | |
| download | klee-93b5671574cb1922e13ead59493dcc185e9c626d.tar.gz | |
Consistent capitalization of "KLEE"
Diffstat (limited to 'TODO.txt')
| -rw-r--r-- | TODO.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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. |