2
74%
master: 74%

Ran 09 Jun 2020 02:58AM UTC

Files 4

Run time 0s

Badge

Committed 09 Jun 2020 02:57AM UTC coverage: 70.833%. Remained the same

Build Type

push

travis-ci-com

Committed by

Commit Message

travis: download cvc4 from github

Where it has a valid certificate, not affected by the UserTRUST RSA
mess

Run Details

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

83 of 116 relevant lines covered (71.55%)

3.91 hits per line