1
98%
master: 97%

Ran 14 Sep 2020 10:53PM UTC

Files 37

Run time 4s

Badge

Committed 14 Sep 2020 10:53PM UTC coverage: 97.347% (-0.005%) from 97.352%

Build Type

push

circle-ci

Committed by Yin Hoon Chew

Commit Message

Use name instead of numeric for solver options

Run Details

1515 of 1597 branches covered (94.87%)

3743 of 3845 relevant lines covered (97.35%)

0.97 hits per line