29727068780
71%
master: 71%

Ran 20 Jul 2026 08:23AM UTC

Jobs 1

Files 496

Run time 1min

Badge

Committed 20 Jul 2026 08:12AM UTC coverage: 71.207% (+0.002%) from 71.205%

Build Type

github

Committed by

Commit Message

Merge 6e5d89132 into 84efa9276

Coverage Stats

5 of 8 new or added lines in 1 file covered. (62.5%)

95541 of 134173 relevant lines covered (71.21%)

1668553.82 hits per line

Lines	Coverage	∆	File
3	76.97	0.91%	src/terms/bv64_interval_abstraction.c

ID	Job ID	Ran	Files	Coverage
1	29727068780.1	20 Jul 2026 08:23AM UTC	496	71.21	GitHub Action Run