Repo Added
|
Build
1576
Last
|
Files
32
|
Badge
Embed ▾
README BADGES
|
push
github
156 of 170 branches covered (91.76%)
Branch coverage included in aggregate %.
315 of 330 relevant lines covered (95.45%)
105.86 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
5343455040 | refs/tags/v1.4.1 | Formal verification: No message can be signed through the core contract (#583) | push | GitHub | github | pending completion |