ethereum / solc-js / 7d14eb77-a544-4858-953e-07bd93e040bd
85%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 15
Run time 2s
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
7d14eb77-a544-4858-953e-07bd93e040bd

push

circleci

GitHub 
Merge pull request #486 from ethereum/z3_options

272 of 346 branches covered (78.61%)

Branch coverage included in aggregate %.

992 of 1101 relevant lines covered (90.1%)

13.4 hits per line

Jobs
ID Job ID Ran Files Coverage
1 7d14eb77-a544-4858-953e-07bd93e040bd.1 0
87.35
Source Files on build 7d14eb77-a544-4858-953e-07bd93e040bd
Detailed source file information is not available for this build.