SizeCredit / size-solidity
96%
main: 96%

LAST BUILD BRANCH: v1.8-avoid-unnecessary-inverted-curves-check
DEFAULT BRANCH: main
Repo Added
Files 55
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 v1.8-halmos
branch: v1.8-halmos
CHANGE BRANCH
x

coverage: 96.359%. Remained the same
15801340602

Pull #184

github

web-flow 
Merge a426895bd into 506f3aab3
Pull Request #184: Halmos v0.3 invariant tests

334 of 352 branches covered (94.89%)

Branch coverage included in aggregate %.

1757 of 1818 relevant lines covered (96.64%)

4388.25 hits per line

Relevant lines Covered
1818 RELEVANT LINES 1757 COVERED LINES
4388.25 HITS PER LINE
Source Files on v1.8-halmos

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
15801340602 v1.8-halmos Merge a426895bd into 506f3aab3 Pull #184 web-flow github
96.36
15801055002 v1.8-halmos Merge 2a61e0aab into 506f3aab3 Pull #184 web-flow github
96.36
15800695960 v1.8-halmos Merge b15e03b1a into 506f3aab3 Pull #184 web-flow github
96.36
15785527662 v1.8-halmos Merge ae2fcf942 into 506f3aab3 Pull #184 web-flow github
96.54
15783816991 v1.8-halmos Merge 393323407 into 506f3aab3 Pull #184 web-flow github
96.54
15783219815 v1.8-halmos Merge 9e802f958 into 506f3aab3 Pull #184 web-flow github
96.36
See All Builds (56)