2268

Ran 27 Oct 2018 05:41PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2268

Build Type

push

travis-ci

Committed by

Commit Message

Tests: Fixed warnings and linting errors (#532)

* Fixed some tests that were raising warnings and linting errors
* Test clean-up

Run Details

ID	Job ID	Ran
1	2268.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 Oct 2018 05:42PM UTC	Travis Job 2268.1
2	2268.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 Oct 2018 05:41PM UTC	Travis Job 2268.2
14	2268.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 Oct 2018 05:57PM UTC	Travis Job 2268.14
15	2268.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 Oct 2018 05:59PM UTC	Travis Job 2268.15

Detailed source file information is not available for this build.