goblint / analyzer / 2867

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

Pull #1666

github

web-flow 
Merge 953577c22 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.53
/src/analyses/threadId.ml


Build SHA Not Found

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