664
62%

Ran 27 Oct 2023 02:32AM UTC

Jobs 1

Files 201

Run time 14s

Badge

Committed 27 Oct 2023 02:32AM UTC coverage: 61.425% (+0.07%) from 61.359%

Build # 664

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #1212 from goblint/libfuns-concrat

Run Details

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

16462 of 26800 relevant lines covered (61.43%)

54910.04 hits per line

Lines	Coverage	∆	File
189	82.65	0.02%	src/analyses/base.ml

ID	Job ID	Ran	Files	Coverage
1	664.1	27 Oct 2023 02:32AM UTC	201	61.43	GitHub Action Run