5331
67%

Ran 11 Nov 2026 01:49AM UTC

Jobs 1

Files 331

Run time 1min

Badge

Committed 10 Nov 2026 08:42AM UTC coverage: 66.781% (+0.03%) from 66.752%

Build # 5331

Build Type

push

github

Committed by

Commit Message

Merge pull request #2306 from goblint/k-branch-sens

BranchSeq Analysis

Coverage Stats

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

23736 of 35543 relevant lines covered (66.78%)

396227.91 hits per line

Lines	Coverage	∆	File
2	80.0		src/analyses/branchSeq.ml

ID	Job ID	Ran	Files	Coverage
1	5331.1	11 Nov 2026 01:49AM UTC	331	66.78	GitHub Action Run