1937

Ran 27 May 2018 03:47PM UTC

Jobs 6

Files 0

Run time –

Badge

Build # 1937

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #487 from pysmt/msat/macos_installer_fix

MathSAT: Fixed installer for OSX

Run Details

ID	Job ID	Ran
1	1937.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 May 2018 03:47PM UTC	Travis Job 1937.1
2	1937.2 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 May 2018 03:47PM UTC	Travis Job 1937.2
3	1937.3 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 May 2018 07:54PM UTC	Travis Job 1937.3
4	1937.4 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 May 2018 03:52PM UTC	Travis Job 1937.4
23	1937.23 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	27 May 2018 03:56PM UTC	Travis Job 1937.23
24	1937.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	27 May 2018 03:58PM UTC	Travis Job 1937.24

Detailed source file information is not available for this build.