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

LAST BUILD BRANCH: gh-readonly-queue/main/pr-133-71dff1dc39abf2ef69ea2ac638937d3f5b0ed6fe
DEFAULT BRANCH: main
Repo Added
Files 7
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

LAST BUILD ON BRANCH feature-95-formal-verification
branch: feature-95-formal-verification
CHANGE BRANCH
x

coverage: 91.395% (-8.6%) from 100.0%
6299064684

Pull #96

github

akshay-ap 
[#95] Add rules
Pull Request #96: Setup certora workflow

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

Relevant lines Covered
209 RELEVANT LINES 184 COVERED LINES
12.47 HITS PER LINE
Source Files on feature-95-formal-verification

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
6299064684 feature-95-formal-verification [#95] Add rules Pull #96 akshay-ap github
91.39
6233266615 feature-95-formal-verification Merge e3644ca10 into 9f0c499b2 Pull #96 GitHub github
94.17
6233266025 feature-95-formal-verification [#95] Update rule for hooks Pull #96 akshay-ap github
94.17
6224793175 feature-95-formal-verification Merge f919192b3 into 9f0c499b2 Pull #96 GitHub github
94.17
6224792770 feature-95-formal-verification [#95] Add formal verification rules Pull #96 Akshay github
94.17
6221521565 feature-95-formal-verification Merge c1911af2d into 8e86b6ff6 Pull #96 GitHub github
100.0
6221521229 feature-95-formal-verification Merge branch 'main' of github.com:safe-global/safe-core-protocol into feature-95-formal-verification Pull #96 Akshay github
100.0
6220588711 feature-95-formal-verification [#95] Fix README, add newline at end of file Pull #96 Akshay github
100.0
6220516197 feature-95-formal-verification [#95] Install dependencies by running yarn --frozen-lockfile Pull #96 akshay-ap github
100.0
6220183574 feature-95-formal-verification Merge 40f1b8cf7 into 8e86b6ff6 Pull #96 GitHub github
100.0
See All Builds (212)