920
62%

Ran 06 Dec 2023 02:28AM UTC

Jobs 1

Files 194

Run time 13s

Badge

Committed 05 Dec 2023 02:23PM UTC coverage: 62.392% (+0.9%) from 61.534%

Build # 920

Build Type

push

github

Committed by

Commit Message

Merge pull request #1281 from goblint/remove_file_and_spec

RFC: Remove `spec` & `file` analyses

Run Details

16527 of 26489 relevant lines covered (62.39%)

58760.45 hits per line

Lines	Coverage	∆	File
1	82.38	-0.52%	src/cdomains/addressDomain.ml
1	81.75	-0.79%	src/cdomains/offset.ml
1	72.58	-1.61%	src/cdomains/stringDomain.ml
3	54.6	-1.72%	src/domains/setDomain.ml
4	65.22	-1.24%	src/domains/queries.ml
7	81.62	-0.43%	src/analyses/base.ml

ID	Job ID	Ran	Files	Coverage
1	920.1	06 Dec 2023 02:28AM UTC	194	62.39	GitHub Action Run