stanford-oval / node-smtlib / 108
74%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 4
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
108

push

travis-ci-com

gcampax 
travis: download cvc4 from github

Where it has a valid certificate, not affected by the UserTRUST RSA
mess

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

83 of 116 relevant lines covered (71.55%)

7.81 hits per line

Jobs
ID Job ID Ran Files Coverage
1 108.1 (GH_TOKEN=[secure]) 0
70.83
 Travis Job 108.1
2 108.2 (GH_TOKEN=[secure]) 0
70.83
 Travis Job 108.2
Source Files on build 108
Detailed source file information is not available for this build.