diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-17 13:44:03 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-16 22:45:05 +0000 |
| commit | d7e82a2d4e0f588faebfb6e44d01e685587f6872 (patch) | |
| tree | b432df2982b1f97a6d4ca70ea1ae8d66f8826910 /README-CMake.md | |
| parent | aedbca881945da47005835a405188041b40ae7cc (diff) | |
| download | klee-d7e82a2d4e0f588faebfb6e44d01e685587f6872.tar.gz | |
[CMake] Rename "integrationtests" to "systemtests".
This was a proposal from #500. @andreamattavelli pointed out that the lit tests are really system tests rather than integration tests so this commit fixes the inappropriate naming that I chose.
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. |