ethereum / solc-js / 00ec5f40-51fe-465a-bb62-fbc5e0abdc97
87%
master: 85%

LAST BUILD BRANCH: patch-1
DEFAULT BRANCH: master
Ran
Jobs 1
Files 15
Run time 1min
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
00ec5f40-51fe-465a-bb62-fbc5e0abdc97

push

circleci

Leonardo Alt 
Don't check SMTChecker test if timeout

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
 test/smtcallback.js

Uncovered Existing Lines

Lines Coverage ∆ File
5
52.17
 -16.25% smtchecker.js
5
86.67
 47.23% translate.js
10
90.87
 44.8% wrapper.js
Jobs
ID Job ID Ran Files Coverage
1 00ec5f40-51fe-465a-bb62-fbc5e0abdc97.1 15
87.35
Source Files on build 00ec5f40-51fe-465a-bb62-fbc5e0abdc97