goblint
/
analyzer
62%
master: 62%
master: 62%
|
Repo Added
|
Files
270
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
witness_val_fail_cherrypick
branch: witness_val_fail_cherrypick
CHANGE BRANCH
x
CHANGE BRANCH
x
coverage: 62.134% (+0.06%) from 62.075%
github
18888 of 30399 relevant lines covered (62.13%)
446399.11 hits per line
Relevant lines Covered
30399
RELEVANT LINES
18888
COVERED LINES
446399.11
HITS PER LINE
Source Files on witness_val_fail_cherrypick
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2639 | witness_val_fail_cherrypick | Merge 1795a2bd3 into b68df11b4 | Pull #1641 |  web-flow |
github |
62.13 |
|
| 2633 | witness_val_fail_cherrypick | Merge 2fd532155 into b68df11b4 | Pull #1641 | web-flow |
github |
62.13 |
|
| 2632 | witness_val_fail_cherrypick | Merge 267f25ea1 into b68df11b4 | Pull #1641 | web-flow |
github |
62.12 |