1299

Ran 31 Oct 2016 12:23PM UTC

Jobs 6

Files 46

Run time 9min

Badge

Build # 1299

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #382 from pysmt/i380/absolute_import

CVC4: Force absolute import of CVC4

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

8667 of 9411 relevant lines covered (92.09%)

3.67 hits per line

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

ID	Job ID	Ran	Coverage
1	1299.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	31 Oct 2016 12:23PM UTC	91.86	Travis Job 1299.1
2	1299.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	31 Oct 2016 12:23PM UTC	91.85	Travis Job 1299.2
10	1299.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	31 Oct 2016 12:25PM UTC		Travis Job 1299.10
13	1299.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	31 Oct 2016 12:30PM UTC	91.85	Travis Job 1299.13
14	1299.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	31 Oct 2016 12:29PM UTC	91.86	Travis Job 1299.14
22	1299.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	31 Oct 2016 12:32PM UTC		Travis Job 1299.22

Detailed source file information is not available for this build.