diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-07 13:47:05 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-07 13:47:05 -0800 |
commit | 78d153ce9e1f4993cff22bf726ce37af66b81aab (patch) | |
tree | c728225f9491b74fc981ab11e57fc236612fa748 /INSTALL.md | |
parent | 01d5f79209fa23783778d98b711f951f071e695d (diff) | |
parent | 58ac30a778baf698603af98ff01aa8c17d430b32 (diff) |
Merge branch 'master' into pldi2019
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 |