projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6c9188) | patch
Disable Java tests for now until they get fixed.
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 29 Aug 2017 23:03:31 +0000 (16:03 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 29 Aug 2017 23:03:31 +0000 (16:03 -0700)
commitc660bc233f08af7681045b7237424a34aecb2237
treed917bc08410260e738dc6952895123d3d80a5855tree
parentd6c918898d852ab3b38ccfdab2f138aef8d60cd0commit | diff
Disable Java tests for now until they get fixed.
.travis.yml diff | blob | history