Repo Added
|
Build
1576
Last
|
Files
32
|
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 |
---|---|---|---|---|---|---|---|
7541457163 | ISafe | Certora Harness Patch Updated | Pull #722 | remedcu | github |
94.4 |
|
7541378733 | ISafe | Moved Events to Interfaces | Pull #722 | remedcu | github |
94.4 |
|
7531230987 | ISafe | Removed Enum use in IGuardManager | Pull #722 | remedcu | github |
94.4 |
|
7503737209 | ISafe | Merge branch 'main' into ISafe | Pull #722 | web-flow | github |
94.4 |
|
7473821299 | ISafe | Creating nonce in ISafe and using ISafe for examples and libraries | Pull #722 | remedcu | github |
94.55 |
|
7473602994 | ISafe | Using harness patch to remove getTransactionHash(...) in ISafe | Pull #722 | remedcu | github |
94.55 |
|
7473476481 | ISafe | Harness patch updated | Pull #722 | remedcu | github |
94.55 |
|
7473341879 | ISafe | Created ISafeExtended by splitting ISafe | Pull #722 | remedcu | github |
94.55 |
|
7459931942 | ISafe | Updating author | Pull #722 | remedcu | github |
94.55 |
|
7419824068 | ISafe | Author added to ISafe | Pull #722 | remedcu | github |
94.55 |