pysmt / pysmt / 1152 / 2

Ran 11 Oct 2016 12:19PM UTC

Files 96

Run time 4s

Badge

Embed ▾

Committed 11 Oct 2016 11:59AM UTC coverage: 91.301% (-0.06%) from 91.36%

Job # PYSMT_SOLVER="all" PYSMT_GMPY="FALSE"

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Merge pull request #355 from agriggio/msat-solver-record-error-message

MSat: get the error message generated by MathSAT when raising a SolverReturnedUnknownResultError

Run Details

12290 of 13461 relevant lines covered (91.3%)

0.91 hits per line

pysmt / pysmt / 1152 / 2

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1152.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")

pysmt / pysmt / 1152 / 2

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1152.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")

README BADGES
x