pysmt / pysmt / 1881

DEFAULT BRANCH: master
Ran
Jobs 6
Files 49
Run time 13min
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
1881

Pull #473

travis-ci

web-flow 
Trying to fix @bellert issue reported on #328
Pull Request #473: Fixinf Z3 exception handling

6 of 6 new or added lines in 1 file covered. (100.0%)

8805 of 10329 relevant lines covered (85.25%)

3.4 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
92.07
 -0.85% pysmt/solvers/z3.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
95.49
 0.0% pysmt/solvers/bdd.py
2
87.5
 0.0% pysmt/smtlib/solver.py
19
89.8
 0.0% pysmt/constants.py
Jobs
ID Job ID Ran Files Coverage
1 1881.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 49
85.03
 Travis Job 1881.1
2 1881.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 49
85.01
 Travis Job 1881.2
11 1881.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1881.11
14 1881.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") 49
85.03
 Travis Job 1881.14
15 1881.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") 49
85.04
 Travis Job 1881.15
24 1881.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") 0
Travis Job 1881.24
Source Files on build 1881
Coverage ∆ File Lines Relevant Covered Missed Hits/Line