ethereum / solc-js / 3ed0675e-2938-44c6-bb6e-67f7c3180e40
85%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 15
Run time 6s
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
3ed0675e-2938-44c6-bb6e-67f7c3180e40

push

circleci

GitHub 
Merge pull request #485 from ethereum/smt_fix_z3

272 of 346 branches covered (78.61%)

Branch coverage included in aggregate %.

7 of 7 new or added lines in 1 file covered. (100.0%)

992 of 1101 relevant lines covered (90.1%)

13.4 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
7
41.13
 -3.48% test/smtcallback.js

Uncovered Existing Lines

Lines Coverage ∆ File
1
41.13
 -3.48% test/smtcallback.js
Jobs
ID Job ID Ran Files Coverage
1 3ed0675e-2938-44c6-bb6e-67f7c3180e40.1 15
87.35
Source Files on build 3ed0675e-2938-44c6-bb6e-67f7c3180e40