ethereum / solc-js / f2107f46-63b2-4bd8-b6d2-3246ece51ebe / 1
87%
master: 85%

LAST BUILD BRANCH: patch-1
DEFAULT BRANCH: master
Ran
Files 15
Run time 1s
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
coverage: 87.202%. First build
f2107f46-63b2-4bd8-b6d2-3246ece51ebe.1

push

circleci

Leonardo Alt 
Prepare SMT comparison for counterexamples

274 of 350 branches covered (78.29%)

Branch coverage included in aggregate %.

1007 of 1119 relevant lines covered (89.99%)

13.24 hits per line

Source Files on job f2107f46-63b2-4bd8-b6d2-3246ece51ebe.1