goblint
/
analyzer
62%
master: 62%
master: 62%
|
Repo Added
|
Files
270
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
fix-apron-overflows
branch: fix-apron-overflows
CHANGE BRANCH
x
CHANGE BRANCH
x
coverage: 62.172%. Remained the same
github
18906 of 30409 relevant lines covered (62.17%)
446230.41 hits per line
Relevant lines Covered
30409
RELEVANT LINES
18906
COVERED LINES
446230.41
HITS PER LINE
Source Files on fix-apron-overflows
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2675 | fix-apron-overflows | Merge 984bae978 into e36e738da | Pull #1649 |  web-flow |
github |
62.17 |
|
| 2674 | fix-apron-overflows | Merge 7410da727 into e36e738da | Pull #1649 | web-flow |
github |
62.17 |
|
| 2669 | fix-apron-overflows | Merge 5dba34324 into 4d60a8285 | Pull #1649 | web-flow |
github |
62.08 |