1338

Ran 17 Nov 2016 10:01PM UTC

Jobs 6

Files 48

Run time 11min

Badge

Build # 1338

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #390 from pysmt/i389/no-git

Fixed issue #389

Run Details

8738 of 9510 relevant lines covered (91.88%)

3.67 hits per line

Lines	Coverage	File
1	100.0	pysmt/__init__.py
1	100.0	pysmt/solvers/pico.py
2	100.0	pysmt/simplifier.py

ID	Job ID	Ran	Coverage
1	1338.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Nov 2016 10:01PM UTC	91.65	Travis Job 1338.1
2	1338.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Nov 2016 10:02PM UTC	91.64	Travis Job 1338.2
10	1338.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Nov 2016 10:04PM UTC		Travis Job 1338.10
13	1338.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Nov 2016 10:09PM UTC	91.64	Travis Job 1338.13
14	1338.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Nov 2016 10:10PM UTC	91.65	Travis Job 1338.14
22	1338.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Nov 2016 10:13PM UTC		Travis Job 1338.22

Detailed source file information is not available for this build.