4110

Committed 22 Jan 2026 01:38PM UTC coverage: 65.549% (+0.002%) from 65.547%

Build # 4110

Build Type

push

github

Committed by

Commit Message

Merge pull request #1915 from goblint/base-reachable-refactor

Refactor reachability computations in base analysis

Run Details

29 of 32 new or added lines in 1 file covered. (90.63%)

1 existing line in 1 file now uncovered.

22697 of 34626 relevant lines covered (65.55%)

403909.83 hits per line

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

81.64

/src/analyses/base.ml