goblint
/
analyzer
/
3884
65%
|
Ran
|
Jobs
1
|
Files
312
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.363% (+4.1%) from 61.302%
push
github
web-flowMake coverage generation include results from cram tests (#1887) * Make coverage generation include results from cram tests * Remove redundant bisect flag * Unify directory paths * check coverage directory contents * Revert "check coverage directory contents" This reverts commit 9b88761db. * Create coverage directory beforehand
22456 of 34356 relevant lines covered (65.36%)
405434.81 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3884.1 | 312 |
65.36 |
GitHub Action Run |
