2428

Committed 06 Nov 2024 08:39AM UTC coverage: 62.656% (+0.003%) from 62.653%

Build # 2428

Build Type

push

github

Committed by

Commit Message

Merge pull request #1617 from goblint/issue_1615

Fix `thread` for non-unique spawns

Run Details

2 of 3 new or added lines in 1 file covered. (66.67%)

18763 of 29946 relevant lines covered (62.66%)

452914.94 hits per line

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

98.28

/src/analyses/threadAnalysis.ml