2443

Ran 27 Jan 2019 06:00PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2443

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #541 from pysmt/examples/strings

Examples: Strings

Run Details

ID	Job ID	Ran
1	2443.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 Jan 2019 06:00PM UTC	Travis Job 2443.1
2	2443.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 Jan 2019 06:04PM UTC	Travis Job 2443.2
14	2443.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	27 Jan 2019 06:37PM UTC	Travis Job 2443.14
15	2443.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	27 Jan 2019 06:36PM UTC	Travis Job 2443.15

Detailed source file information is not available for this build.