safe-global / safe-contracts / 6010007406
94%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 42
Run time 2s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 91.516% (-1.3%) from 92.78%
6010007406

push

github

web-flow 
Merge pull request #645 from safe-global/certora/cleanup

Formal verification: Remove rules overlapping with rules in OwnerReach.spec

194 of 214 branches covered (0.0%)

Branch coverage included in aggregate %.

313 of 340 relevant lines covered (92.06%)

50.09 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6010007406.1 0
91.52
 GitHub Action Run
2 6010007406.2 0
92.78
 GitHub Action Run
Source Files on build 6010007406
Detailed source file information is not available for this build.