Bo-Yuan-Huang / ILAng / 648 / 1
86%
master: 86%

DEFAULT BRANCH: master
Ran
Files 99
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
coverage: 86.556% (+0.001%) from 86.555%
648.1

push

travis-ci

web-flow 
Merge pull request #119 from Bo-Yuan-Huang/fix-z3-sext

fix z3_expr generation bug(extension bit-length was mis-computed) for sext op

8859 of 10235 relevant lines covered (86.56%)

26826.55 hits per line

Source Files on job 648.1