4298

Committed 08 Apr 2026 09:53AM UTC coverage: 65.494% (+0.006%) from 65.488%

Build # 4298

Build Type

push

github

Committed by

Commit Message

Merge pull request #1977 from goblint/copilot/fix-invalid-widen-issue

Refactor `bot` of threadJoins analysis to mean uncomputed

Coverage Stats

38 of 42 new or added lines in 9 files covered. (90.48%)

4 existing lines in 4 files now uncovered.

22678 of 34626 relevant lines covered (65.49%)

400444.2 hits per line

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

81.84

/src/analyses/base.ml