1
0%
master: 73%

Ran 17 Mar 2022 05:00PM UTC

Files 31

Run time 9min

Badge

Committed 17 Mar 2022 05:00PM UTC coverage: 85.0%. First build

Build Type

push

github

Committed by Imobach González Sosa

Commit Message

Set solver flags

Run Details

76 of 102 branches covered (74.51%)

Branch coverage included in aggregate %.

315 of 358 relevant lines covered (87.99%)

8.07 hits per line