pysmt / pysmt / 1504

DEFAULT BRANCH: master
Ran
Jobs 6
Files 48
Run time 36min
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
1504

push

travis-ci

web-flow 
Merge pull request #421 from pysmt/z3_walker

Z3Converter: Remove use of deprecated self.functions

8673 of 9492 relevant lines covered (91.37%)

3.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1504.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 0
91.14
 Travis Job 1504.1
2 1504.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 0
91.13
 Travis Job 1504.2
10 1504.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1504.10
13 1504.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 0
91.13
 Travis Job 1504.13
14 1504.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 0
91.14
 Travis Job 1504.14
22 1504.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1504.22
Source Files on build 1504
Detailed source file information is not available for this build.