2292
62%

Ran 20 Sep 2024 02:47AM UTC

Jobs 1

Files 254

Run time 1min

Badge

Committed 10 Sep 2024 08:16AM UTC coverage: 62.658% (-0.2%) from 62.837%

Build # 2292

Build Type

push

github

Committed by

Commit Message

Merge pull request #1512 from goblint/yaml-witness-violation-reject

Add primitive verdict-based YAML violation witness rejection

Run Details

16 of 109 new or added lines in 3 files covered. (14.68%)

18761 of 29942 relevant lines covered (62.66%)

453065.49 hits per line

Lines	Coverage	∆	File
2	71.85	-0.21%	src/analyses/unassumeAnalysis.ml
4	60.96	-0.39%	src/witness/yamlWitness.ml
87	41.1	-15.98%	src/witness/yamlWitnessType.ml

ID	Job ID	Ran	Files	Coverage
1	2292.1	20 Sep 2024 02:47AM UTC	254	62.66	GitHub Action Run