Robbepop / stevia / 407 / 1
81%
master: 81%

DEFAULT BRANCH: master
Ran
Files 63
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
coverage: 87.253%. Remained the same
407.1

cron

travis-ci

Robbepop 
feat(Simplifier): add join equalities simplification for bitvectors

4319 of 4950 relevant lines covered (87.25%)

0.87 hits per line

Source Files on job 407.1