BlockchainAsset / Splitter
100%
main: 100%

LAST BUILD BRANCH: dependabot/npm_and_yarn/solhint-5.0.1
DEFAULT BRANCH: main
Repo Added
Token 230ulFDUiDF9wC7ssYaHH151SuBfCsYXb regen
Build 207 Last
Files 1
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 160-certora-setup
branch: 160-certora-setup
CHANGE BRANCH
x
Sync Branches

coverage: 100.0%. Remained the same
7861230432

Pull #162

github

web-flow 
Merge 09861f30e into 7bb660183
Pull Request #162: Certora Setup

4 of 4 branches covered (100.0%)

Branch coverage included in aggregate %.

12 of 12 relevant lines covered (100.0%)

5.75 hits per line

Relevant lines Covered
12 RELEVANT LINES 12 COVERED LINES
5.75 HITS PER LINE
Source Files on 160-certora-setup

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
7861230432 160-certora-setup Merge 09861f30e into 7bb660183 Pull #162 web-flow github
100.0
7861224927 160-certora-setup Certora Setup push remedcu github
100.0
See All Builds (121)

Badge your Repo: Splitter

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh