1337

Ran 17 Nov 2016 09:47PM UTC

Jobs 6

Files 48

Run time 11min

Badge

Build # 1337

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #388 from pysmt/mathsat-qe-lia

Adding LIA support to MSat-Based Quantifier Elimination

Run Details

23 of 23 new or added lines in 3 files covered. (100.0%)

8741 of 9509 relevant lines covered (91.92%)

3.67 hits per line

Lines	Coverage	∆	File
1	100.0		pysmt/solvers/z3.py
6	100.0		pysmt/solvers/msat.py

ID	Job ID	Ran	Coverage
1	1337.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Nov 2016 09:47PM UTC	91.69	Travis Job 1337.1
2	1337.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Nov 2016 09:47PM UTC	91.65	Travis Job 1337.2
10	1337.10 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Nov 2016 09:48PM UTC		Travis Job 1337.10
13	1337.13 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	17 Nov 2016 09:53PM UTC	91.65	Travis Job 1337.13
14	1337.14 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	17 Nov 2016 09:54PM UTC	91.66	Travis Job 1337.14
22	1337.22 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE")	17 Nov 2016 09:56PM UTC		Travis Job 1337.22

Detailed source file information is not available for this build.