41
95%
develop: 93%

Ran 13 Feb 2026 01:47PM UTC

Files 117

Run time 7s

Badge

Committed 13 Feb 2026 12:43PM UTC coverage: 89.855%. Remained the same

Build Type

github

Committed by

Commit Message

Add various Assume hints

Coverage Stats

1912 of 2045 branches covered (93.5%)

Branch coverage included in aggregate %.

6635 of 7467 relevant lines covered (88.86%)

359889.86 hits per line