1272

Ran 23 Oct 2016 03:26PM UTC

Jobs 6

Files 46

Run time 10min

Badge

Build # 1272

Build Type

push

travis-ci

Committed by

Commit Message

 Link to Google Group in Readme.md (#345)

Added the Browse to archive and the button

Thanks to @ankit01ojha for contributing this.

Run Details

8666 of 9410 relevant lines covered (92.09%)

3.67 hits per line

ID	Job ID	Ran	Coverage
1	1272.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	23 Oct 2016 03:26PM UTC	91.86	Travis Job 1272.1
2	1272.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	23 Oct 2016 03:26PM UTC	91.85	Travis Job 1272.2
10	1272.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	23 Oct 2016 03:28PM UTC		Travis Job 1272.10
13	1272.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	23 Oct 2016 03:33PM UTC	91.85	Travis Job 1272.13
14	1272.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	23 Oct 2016 03:34PM UTC	91.86	Travis Job 1272.14
22	1272.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	23 Oct 2016 03:36PM UTC		Travis Job 1272.22

Detailed source file information is not available for this build.