Ran
|
Jobs
6
|
Files
49
|
Run time
13min
|
Badge
README BADGES
|
push
travis-ci
6 of 6 new or added lines in 1 file covered. (100.0%)
8805 of 10329 relevant lines covered (85.25%)
3.4 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
6 |
92.07 |
-0.85% | pysmt/solvers/z3.py |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|