goblint / analyzer / 2847

coverage: 62.09% (+0.2%) from 61.856%
2847

Pull #1666

github

web-flow 
Merge 5c26909ac into bce9f9277
Pull Request #1666: Staging for Race Digests

140 of 160 new or added lines in 8 files covered. (87.5%)

8 existing lines in 3 files now uncovered.

19135 of 30818 relevant lines covered (62.09%)

439667.33 hits per line

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

95.24
/src/analyses/pthreadOnce.ml


Build SHA Not Found

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