hajee / easy_type / 111
83%
master: 83%

LAST BUILD BRANCH: jenkins
DEFAULT BRANCH: master
Ran
Jobs 2
Files 69
Run time 49s
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
111

push

travis-ci

Marco Gario 
Installer for Z3: OSX

2420 of 2911 relevant lines covered (83.13%)

341.09 hits per line

Jobs
ID Job ID Ran Files Coverage
2 111.2 (PYSMT_SOLVER="z3" PYTHON_VERSION="2.7") 0
83.13
 Travis Job 111.2
3 111.3 (PYSMT_SOLVER="None" PYTHON_VERSION="3.4") 0
83.13
 Travis Job 111.3
Source Files on build 111
Detailed source file information is not available for this build.