safe-global / safe-smart-account / 7785880783 / 1
94%
main: 94%

DEFAULT BRANCH: main
Ran
Files 32
Run time 1s
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: 94.397%. First build
7785880783.1

push

github

web-flow 
Upgrade certora spec files and CI to certora-cli v6 (#732)

This PR updates the certora cli to the latest available v6 version. The
main breaking change is that ghosts have to be marked persistent if we
don't want them to be HAVOC'ed on, let's say, an external call.

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

Source Files on job run-$ - 7785880783.1