1
51%
master: 51%

Ran 02 Jan 2020 03:57PM UTC

Files 109

Run time 6s

Badge

Committed 02 Jan 2020 03:54PM UTC coverage: 41.396% (+0.2%) from 41.229%

Build Type

push

travis-ci

Committed by

Commit Message

test: modify different oracles in procedure

Run Details

384 of 987 branches covered (38.91%)

Branch coverage included in aggregate %.

1105 of 2610 relevant lines covered (42.34%)

4.66 hits per line