2680

Committed 19 Dec 2024 10:33AM UTC coverage: 62.172% (+0.1%) from 62.075%

Build # 2680

Build Type

push

github

Committed by

Commit Message

Merge pull request #1640 from goblint/mine-W-noinit-threadenter

Fix `mine-W-noinit` not resetting W in `threadenter`

Run Details

1 of 2 new or added lines in 1 file covered. (50.0%)

96 existing lines in 2 files now uncovered.

18906 of 30409 relevant lines covered (62.17%)

446222.01 hits per line

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

71.6

/src/framework/analyses.ml