SMTorg
/
smt
/
22852062613
89%
master: 90%
master: 90%
|
Ran
|
Jobs
1
|
Files
80
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 88.819% (+0.7%) from 88.122%
github
web-flow44 of 47 new or added lines in 4 files covered. (93.62%)
7801 of 8783 relevant lines covered (88.82%)
0.89 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
84.59 |
2.83% | smt/utils/linear_solvers.py |
| 2 |
95.35 |
59.45% | smt/utils/silence.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | Test - 22852062613.1 | 80 |
88.82 |
