2
92%
master: 92%

Ran 13 Jul 2021 02:10PM UTC

Files 111

Run time 38s

Badge

Committed 13 Jul 2021 02:10PM UTC coverage: 86.513% (+9.3%) from 77.187%

Build Type

push

github

Committed by Marcel Stimberg

Commit Message

Change equations slighly to make them work for the less powerful "exact" state updater

Run Details

5840 of 7215 branches covered (80.94%)

13843 of 16001 relevant lines covered (86.51%)

0.87 hits per line