223
62%

Ran 19 Jul 2023 03:58AM UTC

Jobs 1

Files 243

Run time 5s

Badge

Committed 19 Jul 2023 03:58AM UTC coverage: 59.308% (+0.001%) from 59.307%

Build # 223

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #1104 from goblint/issue_1091

Run Details

8 of 8 new or added lines in 1 file covered. (100.0%)

418 existing lines in 1 file now uncovered.

16464 of 27760 relevant lines covered (59.31%)

55148.36 hits per line

Lines	Coverage	∆	File
418	69.44	0.05%	src/cdomains/intDomain.ml

ID	Job ID	Ran	Files	Coverage
1	223.1	19 Jul 2023 03:58AM UTC	243	59.31	GitHub Action Run