diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-01-18 16:54:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-18 16:54:26 +0000 |
| commit | de7e2b94a5f9ee05496e6a65e7370d7270b38799 (patch) | |
| tree | 6478c01fc41cc806e27ba7c5d9688bc2f45cbffa /README-CMake.md | |
| parent | b149dfa242753004d8fb00c4aa55e340d56c0d43 (diff) | |
| parent | 19b7bdd916c484b52ce1237401b15a346575b4cf (diff) | |
| download | klee-de7e2b94a5f9ee05496e6a65e7370d7270b38799.tar.gz | |
Merge pull request #569 from delcypher/cmake_remove_enable_tests_option
[CMake] Remove `ENABLE_TESTS` CMake cache option.
Diffstat (limited to 'README-CMake.md')
| -rw-r--r-- | README-CMake.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/README-CMake.md b/README-CMake.md index 896ddda6..c2893004 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -52,8 +52,6 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src * `ENABLE_TCMALLOC` (BOOLEAN) - Enable TCMalloc support. -* `ENABLE_TESTS` (BOOLEAN) - Enable testing. - * `ENABLE_UNIT_TESTS` (BOOLEAN) - Enable KLEE unit tests. * `GTEST_SRC_DIR` (STRING) - Path to GTest source tree. |