pysmt / pysmt / 1244 / 2

Ran 18 Oct 2016 05:22PM UTC

Files 46

Run time 28s

Badge

Embed ▾

Committed 18 Oct 2016 05:17PM UTC coverage: 91.784% (-0.003%) from 91.787%

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

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Merge pull request #365 from pysmt/exceptions-common-father

Introduce PysmtException, from which all exceptions inherit. This also introduces hybrid exceptions that inherit both from the Standard Library and from PysmtException (i.e., PysmtValueError).

Run Details

8613 of 9384 relevant lines covered (91.78%)

0.92 hits per line

pysmt / pysmt / 1244 / 2

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

pysmt / pysmt / 1244 / 2

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

README BADGES
x