pysmt / pysmt / 1589 / 2

Ran 18 Aug 2017 03:04AM UTC

Files 48

Run time 4s

Badge

Embed ▾

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

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

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

8834 of 9669 relevant lines covered (91.36%)

0.91 hits per line

pysmt / pysmt / 1589 / 2

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

pysmt / pysmt / 1589 / 2

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

README BADGES
x