1
98%
master: 97%

Ran 07 Aug 2020 08:02PM UTC

Files 37

Run time 4s

Badge

Committed 07 Aug 2020 08:02PM UTC coverage: 93.976% (-0.8%) from 94.764%

Build Type

push

circle-ci

Committed by Yin Hoon Chew

Commit Message

Add more solver options and test assertions

Run Details

1344 of 1496 branches covered (89.84%)

3479 of 3702 relevant lines covered (93.98%)

0.94 hits per line