diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/INSTALL.md b/INSTALL.md index fc19dc946..635118f1d 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -189,13 +189,6 @@ for a package named "libedit-dev" or "libedit-devel" or similar. The [Boost](http://www.boost.org) C++ base library is needed for some examples 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 CVC4](#Testing-CVC4) below for more details. - - ### Google Test Unit Testing Framework (Unit Tests) [Google Test](https://github.com/google/googletest) is required to optionally |