Ran
|
Jobs
6
|
Files
50
|
Run time
15min
|
Badge
Embed ▾
README BADGES
|
travis-ci
252 of 252 new or added lines in 7 files covered. (100.0%)
9007 of 10573 relevant lines covered (85.19%)
3.4 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.35 |
0.43% | pysmt/solvers/z3.py |
3 |
97.22 |
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 |
3 |
96.63 |
0.0% | pysmt/formula.py |
18 |
89.8 |
0.0% | pysmt/constants.py |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|