6299064684
91%
main: 100%

Ran 25 Sep 2023 12:05PM CUT

Jobs 1

Files 9

Run time 2s

Badge

Embed ▾

Committed 25 Sep 2023 12:04PM CUT coverage: 91.395% (-8.6%) from 100.0%

Build # 6299064684

Build Type

Pull #96

github

Committed by

akshay-ap

Commit Message

[#95] Add rules

Pull Request Pull Request #96: Setup certora workflow

Run Details

124 of 128 branches covered (0.0%)

Branch coverage included in aggregate %.

28 of 28 new or added lines in 5 files covered. (100.0%)

184 of 209 relevant lines covered (88.04%)

12.47 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
2	0.0		contracts/test/TestFunctionHandlerCertora.sol
5	0.0		contracts/test/certora/TestHooksCertora.sol
18	0.0		contracts/test/TestExecutorCertora.sol

Jobs

ID	Job ID	Ran	Files	Coverage
1	6299064684.1	25 Sep 2023 12:05PM CUT	9	91.39	GitHub Action Run

Source Files on build 6299064684

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line	Branch Hits	Branch Misses
0.0	contracts/test/certora/TestHooksCertora.sol	23	5	0	5	0.0	0	0
0.0	contracts/test/TestExecutorCertora.sol	77	18	0	18	0.0	0	4
0.0	contracts/test/TestFunctionHandlerCertora.sol	14	2	0	2	0.0	0	0
100.0	contracts/base/RegistryManager.sol	57	13	13	0	30.0 + 1.0	12	0
100.0	contracts/base/FunctionHandlerManager.sol	83 + 2	16 + 1	16 + 1	0	2.0	8	0
100.0	contracts/SafeProtocolRegistry.sol	88	19	19	0	30.0 + 2	18	0
100.0	contracts/SafeProtocolManager.sol	467 + 4	121 + 2	121 + 2	0	8.0	76	0
100.0	contracts/base/HooksManager.sol	44	7	7	0	13.0	6	0
100.0	contracts/base/OnlyAccountCallable.sol	41	8	8	0	55.0	4	0

91.39
contracts/

safe-global / safe-core-protocol / 6299064684
91%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 6299064684

safe-global / safe-core-protocol / 6299064684 91% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 6299064684

safe-global / safe-core-protocol / 6299064684
91%
main: 100%

README BADGES
x