Repo Added
|
Files
3
|
Badge
Embed ▾
README BADGES
|
github
28 of 28 branches covered (100.0%)
Branch coverage included in aggregate %.
92 of 92 relevant lines covered (100.0%)
30.29 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
10214008636 | certora-audit | Renaming | Pull #476 | remedcu | github |
100.0 |
|
10213385596 | certora-audit | Formatting | Pull #476 | remedcu | github |
100.0 |
|
10213193124 | certora-audit | Audit Report Added | Pull #476 | remedcu | github |
100.0 |