4039
66%

Ran 10 Jan 2026 03:19AM UTC

Jobs 1

Files 313

Run time 1min

Badge

Committed 09 Jan 2026 02:49PM UTC coverage: 65.444% (+0.003%) from 65.441%

Build # 4039

Build Type

push

github

Committed by

Commit Message

Merge pull request #1904 from goblint/apron-unassume-extra-trivial

Fix `SharedFunctions.AssertionModule.exp_is_constraint`

Run Details

4 of 4 new or added lines in 2 files covered. (100.0%)

71 existing lines in 2 files now uncovered.

22609 of 34547 relevant lines covered (65.44%)

404495.68 hits per line

Lines	Coverage	∆	File
3	78.2	0.04%	src/sharedFunctions.ml
68	76.81	0.15%	src/cdomain/value/cdomains/intDomain0.ml

ID	Job ID	Ran	Files	Coverage
1	4039.1	10 Jan 2026 03:19AM UTC	313	65.44	GitHub Action Run