projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfa69ff) | patch
Travis: Package instead of download for cxxtest (#1055)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 28 Aug 2017 17:22:31 +0000 (10:22 -0700)
committerGitHub <noreply@github.com>
Mon, 28 Aug 2017 17:22:31 +0000 (10:22 -0700)
commitac048e2894de29ee6da9288549695e563234b289
tree99d57ec8fdadd876f5628fb36ace5d797a90c69ctree
parentdfa69ff98a14fcc0f2387e59a0c9994ef440e7d0commit | diff
Travis: Package instead of download for cxxtest (#1055)

Before this commit, we were downloading cxxtest from Sourceforge. This commit
instead installs the Ubuntu package, which is easier and more reliable. Instead
of adding the package to the list of packages for Coverity and the common list
of packages, this commit changes the Coverity package list to just refer to the
common list of packages.
.travis.yml diff | blob | history