|
Repo Added
|
Files
80
|
Badge
README BADGES
|
github
6377 of 6717 branches covered (94.94%)
Branch coverage included in aggregate %.
132 of 136 new or added lines in 6 files covered. (97.06%)
3 existing lines in 1 file now uncovered.30566 of 31432 relevant lines covered (97.24%)
1134.0 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 27039156143 | proof/range-contract | Merge 18b4f6fba into 3362118f9 | Pull #372 | github |
96.84 |
||
| 27038711375 | proof/range-contract | Merge a33d3d5aa into 3362118f9 | Pull #372 | github |
96.84 |
||
| 27038369736 | proof/range-contract | Merge 3babe4e1d into 3362118f9 | Pull #372 | github |
96.84 |
||
| 27037713392 | proof/range-contract | Merge c5a8abd64 into 3362118f9 | Pull #372 | github |
96.84 |
||
| 27035495603 | proof/range-contract | Merge f3b565bf4 into 3362118f9 | Pull #372 | github |
96.83 |
||
| 27035135017 | proof/range-contract | Merge 88f8e74d9 into 8968c52d3 | Pull #372 | github |
96.83 |