21
62%

Ran 13 Jun 2023 02:58AM UTC

Jobs 1

Files 241

Run time 3s

Badge

Committed 13 Jun 2023 02:58AM UTC coverage: 59.276% (+0.05%) from 59.225%

Build # 21

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #1073 from goblint/issue_800

Run Details

37 of 43 new or added lines in 2 files covered. (86.05%)

16359 of 27598 relevant lines covered (59.28%)

54104.59 hits per line

Lines	Coverage	∆	File
6	79.27	1.73%	src/analyses/mutexAnalysis.ml

ID	Job ID	Ran	Files	Coverage
1	21.1	13 Jun 2023 02:58AM UTC	241	59.28	GitHub Action Run