goblint / analyzer / 2866

coverage: 61.848% (-0.008%) from 61.856%
2866

Pull #1669

github

web-flow 
Merge aa976793a into bce9f9277
Pull Request #1669: Ability to enable/disable `may_race` checks per race diges

13 of 19 new or added lines in 7 files covered. (68.42%)

37 existing lines in 7 files now uncovered.

18975 of 30680 relevant lines covered (61.85%)

442291.72 hits per line

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

93.75
/src/analyses/threadFlag.ml


Build SHA Not Found

The commit SHA "39e723f8ee711cff61725671eb6955e191d5fa6a" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.