1664

Ran 26 Oct 2017 08:16AM UTC

Jobs 6

Files 49

Run time 133min

Badge

Build # 1664

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #441 from pysmt/i435/bv_const_gmpy

BV: Convert GMPY object in BV constructor

Run Details

8338 of 9765 relevant lines covered (85.39%)

3.41 hits per line

ID	Job ID	Ran	Coverage
1	1664.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	26 Oct 2017 10:29AM UTC	85.17	Travis Job 1664.1
2	1664.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	26 Oct 2017 08:36AM UTC	85.15	Travis Job 1664.2
11	1664.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	26 Oct 2017 08:16AM UTC		Travis Job 1664.11
14	1664.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	26 Oct 2017 08:51AM UTC	85.16	Travis Job 1664.14
15	1664.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	26 Oct 2017 08:51AM UTC	85.17	Travis Job 1664.15
24	1664.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	26 Oct 2017 08:47AM UTC		Travis Job 1664.24

Detailed source file information is not available for this build.