1305

Ran 31 Oct 2016 03:41PM UTC

Jobs 6

Files 46

Run time 9min

Badge

Build # 1305

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #379 from pysmt/i324/msat_back

MSat: Back conversion using TAGs

Run Details

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

8573 of 9313 relevant lines covered (92.05%)

3.67 hits per line

Lines	Coverage	∆	File
5	100.0		pysmt/solvers/msat.py

ID	Job ID	Ran	Coverage
1	1305.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	31 Oct 2016 03:41PM UTC	91.82	Travis Job 1305.1
2	1305.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	31 Oct 2016 03:41PM UTC	91.81	Travis Job 1305.2
10	1305.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	31 Oct 2016 03:44PM UTC		Travis Job 1305.10
13	1305.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	31 Oct 2016 03:48PM UTC	91.81	Travis Job 1305.13
14	1305.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	31 Oct 2016 03:47PM UTC	91.82	Travis Job 1305.14
22	1305.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	31 Oct 2016 03:50PM UTC		Travis Job 1305.22

Detailed source file information is not available for this build.