squaresLab / Houston / 640
48%
master: 45%

LAST BUILD BRANCH: templatebased-mission-generator
DEFAULT BRANCH: master
Ran
Jobs 2
Files 38
Run time 22s
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
640

Pull #98

travis-ci

web-flow 
Let's try version 14.04
Pull Request #98: WIP: added Z3 to Travis configuration (fixes #97)

809 of 1679 relevant lines covered (48.18%)

0.96 hits per line

Jobs
ID Job ID Ran Files Coverage
1 640.1 0
48.18
 Travis Job 640.1
2 640.2 0
48.18
 Travis Job 640.2
Source Files on build 640
Detailed source file information is not available for this build.