3387
65%

Ran 08 Jul 2025 03:20AM UTC

Jobs 1

Files 294

Run time 1min

Badge

Committed 04 Jul 2025 06:24AM UTC coverage: 61.676% (+0.1%) from 61.544%

Build # 3387

Build Type

push

github

Committed by

Commit Message

Merge pull request #1652 from goblint/issue_1651

Analysis of `pthread_barrier`s

Run Details

73 of 85 new or added lines in 4 files covered. (85.88%)

20809 of 33739 relevant lines covered (61.68%)

410037.71 hits per line

Lines	Coverage	∆	File
1	59.09	1.62%	src/domain/setDomain.ml
2	19.65	-0.1%	src/domain/disjointDomain.ml
3	79.07	-5.93%	src/cdomains/mHP.ml
6	92.31		src/analyses/pthreadBarriers.ml

ID	Job ID	Ran	Files	Coverage
1	3387.1	08 Jul 2025 03:20AM UTC	294	61.68	GitHub Action Run