6224793175
91%
main: 100%

Ran 18 Sep 2023 03:39PM CUT

Jobs 1

Files 7

Run time 2s

Badge

Embed ▾

Committed 18 Sep 2023 03:39PM CUT coverage: 94.172%. First build

Build # 6224793175

Build Type

Pull #96

github

Committed by GitHub

Commit Message

Merge f919192b3 into 9f0c499b2

Pull Request Pull Request #96:

Run Details

124 of 128 branches covered (0.0%)

Branch coverage included in aggregate %.

15 of 15 new or added lines in 1 file covered. (100.0%)

183 of 198 relevant lines covered (92.42%)

13.03 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
15	0.0		contracts/test/TestExecutorCertora.sol

Jobs

ID	Job ID	Ran	Files	Coverage
1	6224793175.1	18 Sep 2023 03:39PM CUT	7	94.17	GitHub Action Run

Source Files on build 6224793175

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line	Branch Hits	Branch Misses
0.0	contracts/test/TestExecutorCertora.sol	78	15	0	15	0.0	0	4
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
100.0	contracts/base/FunctionHandlerManager.sol	81	15	15	0	2.0	8	0
100.0	contracts/SafeProtocolManager.sol	463	121	121	0	8.0	76	0
100.0	contracts/SafeProtocolRegistry.sol	88	19	19	0	28.0	18	0
100.0	contracts/base/RegistryManager.sol	57	13	13	0	29.0	12	0

94.17
contracts/

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 6224793175

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 6224793175

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

README BADGES
x