1
89%
master: 89%

Ran 15 Apr 2022 10:40AM UTC

Files 142

Run time 10s

Badge

Committed 15 Apr 2022 10:40AM UTC coverage: 78.042% (+0.03%) from 78.015%

Build Type

push

github

Committed by Benedikt Magnus

Commit Message

Adjusted the IntermediateCreator for the new symbol indices.

Run Details

445 of 663 branches covered (67.12%)

Branch coverage included in aggregate %.

2114 of 2616 relevant lines covered (80.81%)

31.15 hits per line