From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Tue, 2 Oct 2018 19:22:57 +0000 (-0700)
Subject: Fix documentation for `make regress`. (#2557)
X-Git-Tag: cvc5-1.0.0~4474
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a580349bbb39fa9681ab2e2d05dd448f8b082399;p=cvc5.git

Fix documentation for `make regress`. (#2557)
---

diff --git a/INSTALL.md b/INSTALL.md
index 2f0c7a051..9e0c9dfc4 100644
--- 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.