lindy-labs / erc4626-utils
100%
main: 100%

LAST BUILD BRANCH: yield-dca-impl
DEFAULT BRANCH: main
Repo Added
Token BlT4oY3sqOcz09266qJySpf9gXgYY7owq regen
Build 133 Last
Files 8
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 YieldStreamsFactory-formal-verification
branch: YieldStreamsFactory-formal-verification
CHANGE BRANCH
x
Sync Branches

coverage: 100.0%. Remained the same
9366998056

Pull #32

github

web-flow 
Merge 934eb0c3d into e8e064a2d
Pull Request #32: YieldStreamsFactory formal properties

221 of 221 relevant lines covered (100.0%)

1720.37 hits per line

Relevant lines Covered
221 RELEVANT LINES 221 COVERED LINES
1720.37 HITS PER LINE
Source Files on YieldStreamsFactory-formal-verification

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
9366998056 YieldStreamsFactory-formal-verification Merge 934eb0c3d into e8e064a2d Pull #32 web-flow github
100.0
See All Builds (133)

Badge your Repo: erc4626-utils

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