4512
65%

Ran 22 May 2026 02:36AM UTC

Jobs 1

Files 324

Run time 1min

Badge

Committed 21 May 2026 09:38AM UTC coverage: 64.9% (-0.5%) from 65.426%

Build # 4512

Build Type

push

github

Committed by

Commit Message

Update cram tests for changed AddressSet output

Coverage Stats

22759 of 35068 relevant lines covered (64.9%)

396593.79 hits per line

Lines	Coverage	∆	File
78	64.2	-4.59%	src/domains/queries.ml
59	56.17	-0.08%	src/analyses/mCPRegistry.ml
3	83.33	0.0%	src/cdomain/value/cdomains/mval.ml

ID	Job ID	Ran	Files	Coverage
1	4512.1	22 May 2026 02:36AM UTC	324	64.9	GitHub Action Run