ubiquity / ubiquity-dollar
84%
development: 84%

LAST BUILD BRANCH: formal-verification-pool
DEFAULT BRANCH: development
Repo Added
Files 47
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 formal-verification-pool
branch: SELECT
CHANGE BRANCH
x

coverage: 83.82%. First build
26271808346

Pull #1048

github

web-flow 
Merge e6dfa2f03 into be9e35ee8
Pull Request #1048: feat: formal verification for UbiquityPoolFacet (#926)

290 of 389 branches covered (74.55%)

Branch coverage included in aggregate %.

1575 of 1836 relevant lines covered (85.78%)

2597.53 hits per line

Relevant lines Covered
1836 RELEVANT LINES 1575 COVERED LINES
2597.53 HITS PER LINE
Source Files on development

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
26271808346 formal-verification-pool Merge e6dfa2f03 into be9e35ee8 Pull #1048 web-flow github
83.82
26075538691 fix/972-storage-check-for-new-contracts Merge 840db9570 into be9e35ee8 Pull #1047 web-flow github
83.82
25981607474 development Merge b64e25ff9 into be9e35ee8 Pull #1043 web-flow github
83.82
25981421417 development Merge b64e25ff9 into be9e35ee8 Pull #1042 web-flow github
83.82
25897115065 feat/stability-pool-integration Merge 465bcad4d into be9e35ee8 Pull #1041 web-flow github
84.32
25846478672 fix-storage-check-new-contracts Merge a2f06ca2d into be9e35ee8 Pull #1039 web-flow github
83.82
25727920554 storage-check-added-contracts Merge 7a6e4ca42 into be9e35ee8 Pull #1038 web-flow github
83.82
25704336589 fix/issue-972-storage-layout-new-contracts Merge e8e7fc090 into be9e35ee8 Pull #1037 web-flow github
83.82
24745691594 feat/issue-927-security-monitoring Merge 9b2e7df4e into be9e35ee8 Pull #1010 web-flow github
83.82
24663985491 fix/storage-check-skip-new-contracts Merge 850816d73 into be9e35ee8 Pull #1032 web-flow github
83.82
See All Builds (889)