4477

Committed 11 May 2026 01:45PM UTC coverage: 65.345% (-0.07%) from 65.414%

Build # 4477

Build Type

push

github

Committed by

Commit Message

Merge pull request #2015 from goblint/patricia-tree2

Use patricia-tree library more

Coverage Stats

31 of 108 new or added lines in 3 files covered. (28.7%)

274 existing lines in 1 file now uncovered.

22714 of 34760 relevant lines covered (65.35%)

398689.38 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

81.9

/src/analyses/base.ml