projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef230f2) | patch
Disable separate gnu++11 tests on Travis (#193)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 15 Jul 2017 02:37:27 +0000 (22:37 -0400)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2017 02:37:27 +0000 (22:37 -0400)
commit151df601b2677afd2baa31fd3e9ec01eea29bec2
treedd4363cd69753ef9eb108c563ef149761237046atree
parentef230f2fcd8556ff8b07fe570cc00e9e1c7d4025commit | diff
Disable separate gnu++11 tests on Travis (#193)

Given that we are now always compiling with gnu++11, we don't need
separate tests anymore.
.travis.yml diff | blob | history