1577

Ran 17 Aug 2017 12:27AM UTC

Jobs 6

Files 48

Run time 36min

Badge

Embed ▾

pending completion

Build # 1577

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

<a href="https://github.com/pysmt/pysmt/commit/cc82cc1d2">CVC4: Upgrade to 1.5 (#424)

Note: CVC4 does not distinguish anymore between IFF and EQUALS.
See https://github.com/CVC4/CVC4/commit/</a><a class="double-link" href="https://github.com/pysmt/pysmt/commit/1f4b954a2">1f4b954a2</a>

Run Details

8840 of 9664 relevant lines covered (91.47%)

3.65 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	1577.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Aug 2017 12:53AM UTC	91.24	Travis Job 1577.1
2	1577.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Aug 2017 12:53AM UTC	91.23	Travis Job 1577.2
10	1577.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Aug 2017 12:27AM UTC		Travis Job 1577.10
13	1577.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Aug 2017 01:02AM UTC	91.24	Travis Job 1577.13
14	1577.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Aug 2017 01:04AM UTC	91.25	Travis Job 1577.14
22	1577.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Aug 2017 01:01AM UTC		Travis Job 1577.22

Source Files on build 1577

Detailed source file information is not available for this build.

pysmt / pysmt / 1577

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1577

pysmt / pysmt / 1577

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1577

README BADGES
x