Ran
|
Jobs
5
|
Files
49
|
Run time
36min
|
Badge
Embed ▾
README BADGES
|
travis-ci
8382 of 9813 relevant lines covered (85.42%)
2.56 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
88.54 |
-1.04% | pysmt/constants.py |
1 |
96.83 |
0.01% | pysmt/formula.py |
1 |
97.56 |
0.0% | pysmt/operators.py |
1 |
99.01 |
0.02% | pysmt/printers.py |
1 |
98.79 |
0.02% | pysmt/oracles.py |
9 |
95.62 |
0.0% | pysmt/parsing.py |
9 |
90.33 |
-0.12% | pysmt/simplifier.py |
13 |
91.29 |
0.07% | pysmt/smtlib/printers.py |
13 |
88.56 |
0.06% | pysmt/solvers/cvc4.py |
14 |
93.03 |
0.04% | pysmt/solvers/z3.py |
17 |
88.38 |
-0.28% | pysmt/type_checker.py |
22 |
92.87 |
0.02% | pysmt/solvers/msat.py |
27 |
85.33 |
0.11% | pysmt/shortcuts.py |
158 |
13.45 |
-0.03% | pysmt/smtlib/parser/parser.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1785.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") | 49 |
85.21 |
Travis Job 1785.1 | |
2 | 1785.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE") | 49 |
85.19 |
Travis Job 1785.2 | |
11 | 1785.11 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1785.11 | ||
14 | 1785.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE") | 49 |
85.2 |
Travis Job 1785.14 | |
24 | 1785.24 (PYSMT_SOLVER="btor" PYSMT_GMPY="FALSE") | 0 | Travis Job 1785.24 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|