1882

Ran 10 Mar 2018 10:41AM UTC

Jobs 6

Files 49

Run time 13min

Badge

Build # 1882

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #473 from pysmt/fixing_z3_logic_by_name

Fixinf Z3 exception handling

Run Details

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

Lines	Coverage	∆	File
6	100.0		pysmt/solvers/z3.py

ID	Job ID	Ran	Coverage
1	1882.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	10 Mar 2018 10:41AM UTC	85.03	Travis Job 1882.1
2	1882.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	10 Mar 2018 10:41AM UTC	85.01	Travis Job 1882.2
11	1882.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	10 Mar 2018 10:44AM UTC		Travis Job 1882.11
14	1882.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	10 Mar 2018 10:52AM UTC	85.03	Travis Job 1882.14
15	1882.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	10 Mar 2018 10:53AM UTC	85.04	Travis Job 1882.15
24	1882.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	10 Mar 2018 10:55AM UTC		Travis Job 1882.24

Detailed source file information is not available for this build.