2244

Ran 15 Oct 2018 02:11PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2244

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #530 from pysmt/i522/z3_check_context_on_del

Z3: Check context presence on del

Run Details

ID	Job ID	Ran
1	2244.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	15 Oct 2018 02:11PM UTC	Travis Job 2244.1
2	2244.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	15 Oct 2018 02:11PM UTC	Travis Job 2244.2
14	2244.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	15 Oct 2018 02:28PM UTC	Travis Job 2244.14
15	2244.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	15 Oct 2018 02:33PM UTC	Travis Job 2244.15

Detailed source file information is not available for this build.