pysmt / pysmt / 1197

DEFAULT BRANCH: master
Ran
Jobs 6
Files 97
Run time 10min
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
1197

push

travis-ci

web-flow 
Merge pull request #363 from pysmt/i334/docstrings

I334/docstrings

12673 of 13488 relevant lines covered (93.96%)

3.75 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1197.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 0
93.74
 Travis Job 1197.1
2 1197.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 0
93.62
 Travis Job 1197.2
10 1197.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1197.10
13 1197.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 0
93.79
 Travis Job 1197.13
14 1197.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 0
93.68
 Travis Job 1197.14
22 1197.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1197.22
Source Files on build 1197
Detailed source file information is not available for this build.