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

DEFAULT BRANCH: main
Ran
Jobs 1
Files 32
Run time 3s
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

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

Jobs
ID Job ID Ran Files Coverage
1 run-$ - 7785880783.1 0
94.4
 GitHub Action Run
Source Files on build 7785880783
Detailed source file information is not available for this build.