pysmt / pysmt / 1589 / 13

Ran 18 Aug 2017 07:24AM UTC

Files 48

Run time 2s

Badge

Embed ▾

Committed 18 Aug 2017 12:10AM UTC coverage: 91.365% (+0.1%) from 91.236%

Job # PYSMT_SOLVER="all" PYSMT_GMPY="TRUE"

Build Type

push

travis-ci

Committed by

marcogario

Commit Message

Bugfix: Z3 convertion of top-level ITE (#433)

Fixed z3 converter to support ITE terms at top-level. The current
implementation did not consider the possibility of converting a
formula having an ITE as a top-level operator.

Run Details

8835 of 9670 relevant lines covered (91.37%)

0.91 hits per line

pysmt / pysmt / 1589 / 13

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1589.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")

pysmt / pysmt / 1589 / 13

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1589.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")

README BADGES
x