1590

Ran 18 Aug 2017 07:27AM UTC

Jobs 5

Files 48

Run time 36min

Badge

Build # 1590

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #431 from pysmt/installer_version_checker

Installers: Simpler version check via subprocess

Run Details

8857 of 9670 relevant lines covered (91.59%)

2.74 hits per line

ID	Job ID	Ran	Coverage
1	1590.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	18 Aug 2017 07:27AM UTC	91.37	Travis Job 1590.1
10	1590.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	18 Aug 2017 07:30AM UTC		Travis Job 1590.10
13	1590.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	18 Aug 2017 08:01AM UTC	91.37	Travis Job 1590.13
14	1590.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	18 Aug 2017 08:04AM UTC	91.38	Travis Job 1590.14
22	1590.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	18 Aug 2017 07:38AM UTC		Travis Job 1590.22

Detailed source file information is not available for this build.