1
67%
main: 67%

Ran 18 Dec 2025 06:27PM UTC

Files 302

Run time 14s

Badge

Committed 18 Dec 2025 03:58PM UTC coverage: 39.454% (-0.4%) from 39.849%

Build Type

push

github

Committed by

Commit Message

Merge pull request #398 from daisytuner/trunc

adds trunc_i32 symbolic function and type minimization pass

Run Details

13402 of 44093 branches covered (30.39%)

Branch coverage included in aggregate %.

11549 of 19147 relevant lines covered (60.32%)

84.38 hits per line