4900
66%

Ran 13 Sep 2026 02:00AM UTC

Jobs 1

Files 326

Run time 1min

Badge

Committed 12 Sep 2026 10:00AM UTC coverage: 65.409% (+0.002%) from 65.407%

Build # 4900

Build Type

push

github

Committed by

Commit Message

Remove unused LinearTwoVarEqualityDomain.D.to_yojson

Coverage Stats

22863 of 34954 relevant lines covered (65.41%)

397085.95 hits per line

Lines	Coverage	∆	File
60	66.03	0.16%	src/linearTwoVarEqualityDomain.ml
9	50.0	0.0%	src/analyses/tutorials/signs.ml
5	72.22	0.0%	src/analyses/tutorials/solution/signsExtendSol.ml
5	71.05	0.0%	src/analyses/tutorials/solution/signsSol.ml
1	50.0	0.0%	src/analyses/tutorials/simplifiedUnitAnalysis.ml

ID	Job ID	Ran	Files	Coverage
1	4900.1	13 Sep 2026 02:00AM UTC	326	65.41	GitHub Action Run