pyta-uoft
/
pyta
/
9331718888
93%
master: 94%
master: 94%
|
Ran
|
Jobs
5
|
Files
43
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 89.501% (-3.6%) from 93.12%
github
web-flow2745 of 3067 relevant lines covered (89.5%)
8.81 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 6 |
88.25 |
-1.81% | python_ta/contracts/__init__.py |
| 18 |
81.98 |
-10.47% | python_ta/__init__.py |
| 24 |
27.78 |
-66.67% | python_ta/transforms/z3_visitor.py |
| 63 |
21.43 |
-64.29% | python_ta/transforms/ExprWrapper.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-3.12 - 9331718888.1 | 86 |
89.31 |
GitHub Action Run | |
| 2 | run-3.10 - 9331718888.2 | 86 |
89.28 |
GitHub Action Run | |
| 3 | run-3.8 - 9331718888.3 | 86 |
88.98 |
GitHub Action Run | |
| 4 | run-3.11 - 9331718888.4 | 86 |
89.28 |
GitHub Action Run | |
| 5 | run-3.9 - 9331718888.5 | 86 |
88.98 |
GitHub Action Run |
