Ran
|
Jobs
6
|
Files
97
|
Run time
12min
|
Badge
Embed ▾
README BADGES
|
travis-ci
348 of 348 new or added lines in 14 files covered. (100.0%)
12367 of 13500 relevant lines covered (91.61%)
3.64 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
88.17 |
pysmt/solvers/msat.py | |
3 |
89.47 |
pysmt/configuration.py | |
5 |
88.55 |
pysmt/solvers/btor.py | |
6 |
86.82 |
pysmt/smtlib/solver.py | |
6 |
88.79 |
pysmt/solvers/cvc4.py | |
7 |
95.49 |
pysmt/solvers/bdd.py | |
7 |
74.63 |
pysmt/solvers/solver.py | |
7 |
89.45 |
pysmt/solvers/yices.py | |
7 |
89.35 |
pysmt/solvers/z3.py | |
16 |
87.03 |
pysmt/solvers/pico.py |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|