diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/INSTALL.md b/INSTALL.md index 9e0c9dfc4..dc0de6cb4 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -151,7 +151,8 @@ provided with CVC4. ### CxxTest Unit Testing Framework (Unit Tests) [CxxTest](http://cxxtest.com) is required to optionally run CVC4's unit tests -(included with the distribution). See [Testing](testing) below for more details. +(included with the distribution). +See [Testing CVC4](#Testing-CVC4) below for more details. ## Building CVC4 @@ -297,7 +298,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 +307,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. |