safe-global / safe-smart-account / 12884698562
94%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 42
Run time 1min
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: 93.957%. Remained the same
12884698562

push

github

web-flow 
Certora Workfile Updated (#904)

This PR adds the FV rules introduced in #901 to the workflow.

325 of 366 branches covered (88.8%)

Branch coverage included in aggregate %.

499 of 511 relevant lines covered (97.65%)

100.87 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-$ - 12884698562.1 42
93.96
 GitHub Action Run
Source Files on build 12884698562