1589

Ran 18 Aug 2017 01:23AM UTC

Jobs 6

Files 48

Run time 362min

Badge

Embed ▾

pending completion

Build # 1589

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

8858 of 9670 relevant lines covered (91.6%)

3.65 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	1589.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	18 Aug 2017 02:52AM UTC	91.37	Travis Job 1589.1
2	1589.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	18 Aug 2017 03:04AM UTC	91.36	Travis Job 1589.2
10	1589.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	18 Aug 2017 01:23AM UTC		Travis Job 1589.10
13	1589.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	18 Aug 2017 07:24AM UTC	91.37	Travis Job 1589.13
14	1589.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	18 Aug 2017 07:25AM UTC	91.38	Travis Job 1589.14
22	1589.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	18 Aug 2017 01:50AM UTC		Travis Job 1589.22

Source Files on build 1589

Detailed source file information is not available for this build.

pysmt / pysmt / 1589

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1589

pysmt / pysmt / 1589

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1589

README BADGES
x