diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2018-11-01 19:06:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-01 19:06:06 -0700 |
| commit | 050747cbceef232b11f1226081bc3dbc74c8ff77 (patch) | |
| tree | 857bce939a7f9df7e35e676982c5e1b2a149462c /INSTALL.md | |
| parent | f59097bfc7f89a30b2d857b0b43eb9130e85f45e (diff) | |
fixes to regression docs (#2679)
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 98cef2061..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 |