diff options
Diffstat (limited to 'README-CMake.md')
| -rw-r--r-- | README-CMake.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/README-CMake.md b/README-CMake.md index 991694cd..896ddda6 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -10,7 +10,7 @@ its autoconf/Makefile based build system. * `docs` - Build documentation * `edit_cache` - Show cmake/ccmake/cmake-gui interface for chaning configure options. * `help` - Show list of top level targets -* `integrationtests` - Run integration tests +* `systemtests` - Run system tests * `unittests` - Build and run unittests ## Useful CMake variables @@ -36,7 +36,7 @@ cmake -DCMAKE_BUILD_TYPE=Release /path/to/klee/src * `ENABLE_DOXYGEN` (BOOLEAN) - Enable building doxygen documentation. -* `ENABLE_INTEGRATION_TESTS` (BOOLEAN) - Enable KLEE integration tests. +* `ENABLE_SYSTEM_TESTS` (BOOLEAN) - Enable KLEE system tests. * `ENABLE_KLEE_ASSERTS` (BOOLEAN) - Enable assertions when building KLEE. |