safe-global / safe-contracts / 6494000556
94%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 41
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: 95.185%. Remained the same
6494000556

push

github

web-flow 
Merge pull request #680 from safe-global/certora/signatures-rule-options-fix

Feature: Signatures rule fix by restoring the prover options from the original PR

225 of 246 branches covered (91.46%)

Branch coverage included in aggregate %.

368 of 377 relevant lines covered (97.61%)

100.48 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6494000556.1 0
95.18
 GitHub Action Run
2 6494000556.2 0
95.18
 GitHub Action Run
Source Files on build 6494000556
Detailed source file information is not available for this build.