diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-18 19:22:22 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-18 19:22:22 -0700 |
commit | e57e2c8911d0b39a59aad29330466c93c8081506 (patch) | |
tree | 487b04c6f2b71e39b29da791eadbeefdf4cd6539 /INSTALL.md | |
parent | 547bd91e189b28da9950e12037d1e88079157479 (diff) |
cmake: Run regression level 2 for make check. (#2645)
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.md b/INSTALL.md index 9e0c9dfc4..98cef2061 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -297,7 +297,7 @@ All custom test targets build and run a preconfigured set of tests. - `make check [-jN] [ARGS=-jN]` The default build-and-test target for CVC4, builds and runs all examples, - all system and unit tests, and regression tests from levels 0 and 1. + all system and unit tests, and regression tests from levels 0 to 2. - `make systemtests [-jN] [ARGS=-jN]` Build and run all system tests. @@ -306,7 +306,7 @@ All custom test targets build and run a preconfigured set of tests. Build and run all unit tests. - `make regress [-jN] [ARGS=-jN]` - Build and run regression tests from levels 0 and 1. + Build and run regression tests from levels 0 to 2. - `make runexamples [-jN] [ARGS=-jN]` Build and run all examples. |