1619

Ran 12 Sep 2017 03:35PM UTC

Jobs 5

Files 49

Run time 38min

Badge

Build # 1619

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #438 from pysmt/infix_not_equals

Infix: Add NotEquals

Run Details

8317 of 9744 relevant lines covered (85.36%)

2.55 hits per line

ID	Job ID	Ran	Coverage
1	1619.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	12 Sep 2017 03:56PM UTC	85.14	Travis Job 1619.1
2	1619.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	12 Sep 2017 03:57PM UTC	85.13	Travis Job 1619.2
11	1619.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	12 Sep 2017 03:35PM UTC		Travis Job 1619.11
15	1619.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	12 Sep 2017 04:14PM UTC	85.14	Travis Job 1619.15
24	1619.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	12 Sep 2017 04:08PM UTC		Travis Job 1619.24

Detailed source file information is not available for this build.