goblint / analyzer / 2868

coverage: 62.082% (+0.2%) from 61.856%
2868

Pull #1666

github

web-flow 
Merge 4c2d8a38c into bce9f9277
Pull Request #1666: Staging for Race Digests

153 of 179 new or added lines in 14 files covered. (85.47%)

8 existing lines in 3 files now uncovered.

19138 of 30827 relevant lines covered (62.08%)

439563.5 hits per line

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

77.42
/src/analyses/mutexAnalysis.ml


Build SHA Not Found

The commit SHA "3ec7d057c3f60bc1dd17fd4b630aff5fcde4d265" 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.