3
36%
master: 36%

Ran 08 Aug 2018 02:26PM UTC

Files 1193

Run time 27min

Badge

Committed 08 Aug 2018 02:19PM UTC coverage: 37.782%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

removing Z3, not useful since they removed support for interpolation

see: https://github.com/Z3Prover/z3/pull/1646

Run Details

5101 of 13501 relevant lines covered (37.78%)

13674.65 hits per line