projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1300320)
Fix documentation for `make regress`. (#2557)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 2 Oct 2018 19:22:57 +0000 (12:22 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 2 Oct 2018 19:22:57 +0000 (12:22 -0700)
INSTALL.md patch | blob | history

diff --git a/INSTALL.md b/INSTALL.md
index 2f0c7a051b678b3507564bf080c4a4761e47bf84..9e0c9dfc488c1183d03683888aa44bb92d4d9033 100644 (file)
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -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 all regression tests.
+  Build and run regression tests from levels 0 and 1.
 
 - `make runexamples [-jN] [ARGS=-jN]`  
   Build and run all examples.