Repo Added
|
Build
505
Last
|
Files
33
|
Badge
Embed ▾
README BADGES
|
github
261 of 292 branches covered (0.0%)
Branch coverage included in aggregate %.
396 of 404 relevant lines covered (98.02%)
97.1 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
7785684151 | certora/v6-spec-update | Remove redundant ghost function | Pull #732 | mmv08 | github |
94.4 |
|
7783479458 | certora/v6-spec-update | Remove redundant ghost function | Pull #732 | mmv08 | github |
94.4 |