goblint / analyzer / 3409

coverage: 61.749% (+0.06%) from 61.689%
3409

push

github

web-flow 
Merge pull request #1663 from goblint/issue_1662

Support for `pthread_once`

55 of 64 new or added lines in 6 files covered. (85.94%)

125 existing lines in 4 files now uncovered.

20907 of 33858 relevant lines covered (61.75%)

408005.27 hits per line

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

93.94
/src/analyses/pthreadOnce.ml


Source Not Available