diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-10-09 19:22:27 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-08-03 15:28:08 +0100 |
| commit | 6e3b4d716bae09c5c8832ca31a427f24a12729b3 (patch) | |
| tree | 66f517c9d3d15bb28edbcbbd5a1788f8b9f32a45 | |
| parent | dfefd9710a3a64c5a81936d86f8b87d7ebc2e0b7 (diff) | |
| download | klee-6e3b4d716bae09c5c8832ca31a427f24a12729b3.tar.gz | |
Disabled unit testing in default build
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 1064e0ce..c34b8786 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -661,7 +661,7 @@ add_subdirectory(tools) ################################################################################ # Testing ################################################################################ -option(ENABLE_UNIT_TESTS "Enable unit tests" ON) +option(ENABLE_UNIT_TESTS "Enable unit tests" OFF) option(ENABLE_SYSTEM_TESTS "Enable system tests" ON) # This provides a migration path for older build directories that have this |