5453355428
94%

Ran 04 Jul 2023 09:59AM UTC

Jobs 2

Files 40

Run time 1s

Badge

Embed ▾

Canceled at 29 Sep 2024 02:28PM UTC via web

Build # 5453355428

Build Type

push

github

Committed by

web-flow

Commit Message

Check owners list consistency (#594)

* Fromal verification: Add invariant 'safeOwnerCountConsistency'

* Formal verification: Add getters in SafeHarness.sol

* Formal verification: Add functions in spec file

* Add requireInvariant in safeOwnerCountConsistency()

---------

Co-authored-by: Mikhail <mveehkim@gmail.com>

Run Details

157 of 172 branches covered (91.28%)

Branch coverage included in aggregate %.

318 of 333 relevant lines covered (95.5%)

104.99 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5453355428.1	04 Jul 2023 09:59AM UTC	0	94.06	GitHub Action Run
2	5453355428.2	04 Jul 2023 09:59AM UTC	0	92.67	GitHub Action Run

Source Files on build 5453355428

Detailed source file information is not available for this build.

safe-global / safe-contracts / 5453355428
94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5453355428

safe-global / safe-contracts / 5453355428 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5453355428

safe-global / safe-contracts / 5453355428
94%

README BADGES
x