1347

Ran 14 Dec 2016 08:27PM UTC

Jobs 5

Files 48

Run time 8min

Badge

Build # 1347

Build Type

push

travis-ci

Committed by

Commit Message

Fix Python 3.5.2 lib path (#392)

Run Details

8737 of 9510 relevant lines covered (91.87%)

2.75 hits per line

ID	Job ID	Ran	Coverage
1	1347.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	14 Dec 2016 08:27PM UTC	91.65	Travis Job 1347.1
10	1347.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	14 Dec 2016 08:27PM UTC		Travis Job 1347.10
13	1347.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	14 Dec 2016 08:32PM UTC	91.64	Travis Job 1347.13
14	1347.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	14 Dec 2016 08:33PM UTC	91.65	Travis Job 1347.14
22	1347.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	14 Dec 2016 08:35PM UTC		Travis Job 1347.22

Detailed source file information is not available for this build.