2085

Ran 04 Jul 2018 02:41PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2085

Build Type

push

travis-ci

Committed by

Commit Message

Fix declare-sort bug (#501)

This is fixed by adding a case in the evaluate_command function.
A test was added to check both 0-ary and 1-ary sorts.

Run Details

ID	Job ID	Ran
1	2085.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	04 Jul 2018 02:41PM UTC	Travis Job 2085.1
2	2085.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	04 Jul 2018 02:44PM UTC	Travis Job 2085.2
14	2085.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	04 Jul 2018 02:56PM UTC	Travis Job 2085.14
15	2085.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	04 Jul 2018 02:56PM UTC	Travis Job 2085.15

Detailed source file information is not available for this build.