7287161487
85%

Ran 21 Dec 2023 10:50AM UTC

Jobs 1

Files 8

Run time 2s

Badge

Embed ▾

Committed 21 Dec 2023 10:49AM UTC coverage: 13.547%. Remained the same

Build # 7287161487

Build Type

push

github

Committed by

web-flow

Commit Message

Formal veritifcation: spec file improvements, remove redundant requires/harnesses (#193)

This PR implements suggestions from the certora team:
- Remove redundant require statements that led to removing some
not-needed-anymore harnesses
- Use nativeBalances mapping instead of the harness function

Run Details

22 of 124 branches covered (0.0%)

Branch coverage included in aggregate %.

33 of 282 relevant lines covered (11.7%)

2.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	7287161487.1	21 Dec 2023 10:50AM UTC	0	13.55	GitHub Action Run

Source Files on build 7287161487

Detailed source file information is not available for this build.

safe-global / safe-modules / 7287161487
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7287161487

safe-global / safe-modules / 7287161487 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7287161487

safe-global / safe-modules / 7287161487
85%

README BADGES
x