Ran
|
Jobs
6
|
Files
50
|
Run time
42min
|
Badge
Embed ▾
README BADGES
|
travis-ci
248 of 248 new or added lines in 7 files covered. (100.0%)
9043 of 10609 relevant lines covered (85.24%)
3.39 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.35 |
0.43% | pysmt/solvers/z3.py |
3 |
97.92 |
pysmt/solvers/optimizer.py | |
12 |
82.29 |
-1.15% | pysmt/factory.py |
33 |
89.25 |
-3.64% | pysmt/solvers/msat.py |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
95.49 |
0.0% | pysmt/solvers/bdd.py |
2 |
87.5 |
0.0% | pysmt/smtlib/solver.py |
19 |
89.8 |
0.0% | pysmt/constants.py |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|