1
66%
main: 66%

Ran 16 Nov 2025 05:07AM UTC

Files 41

Run time 58min

Badge

Committed 14 Nov 2025 12:50PM UTC coverage: 25.587% (+0.4%) from 25.207%

Build Type

push

github

Committed by

Commit Message

Improvements for symbolic analysis (#335)

* adds promotion of unsigned constant assignments

* filter scalars from outputs in function lifting

Run Details

1765 of 6898 relevant lines covered (25.59%)

8.89 hits per line