• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

pyta-uoft / pyta / 42651953174
91%
master: 92%

Build:
Build:
LAST BUILD BRANCH: versioning-reassigned-vars
DEFAULT BRANCH: master
Ran 09 Nov 2026 04:12PM UTC
Jobs 18
Files 57
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

09 Nov 2026 04:09PM UTC coverage: 91.267% (-0.4%) from 91.641%
42651953174

Pull #1432

github

web-flow
Merge 18e76b473 into 8ca4b8334
Pull Request #1432: Add versioining on reassigned variables

56 of 63 new or added lines in 3 files covered. (88.89%)

12 existing lines in 2 files now uncovered.

3867 of 4237 relevant lines covered (91.27%)

21.07 hits per line

Uncovered Changes

Lines Coverage ∆ File
6
45.89
-0.3% packages/python-ta-z3/src/python_ta_z3/z3_parser.py
1
92.59
0.28% packages/python-ta/src/python_ta/checkers/condition_logic_checker.py

Coverage Regressions

Lines Coverage ∆ File
10
95.82
-3.45% packages/python-ta/src/python_ta/cfg/graph.py
2
91.67
-8.33% packages/python-ta/src/python_ta/patches/transforms.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.15-base - 42651953174.1 09 Nov 2026 04:13PM UTC 103
90.43
GitHub Action Run
2 run-3.13-z3-solver - 42651953174.2 09 Nov 2026 04:12PM UTC 103
94.7
GitHub Action Run
3 run-3.11-python-ta-z3 - 42651953174.3 09 Nov 2026 04:13PM UTC 8
41.37
GitHub Action Run
4 run-3.15-python-ta-z3 - 42651953174.4 09 Nov 2026 04:13PM UTC 8
41.37
GitHub Action Run
5 run-3.10-z3-solver - 42651953174.5 09 Nov 2026 04:13PM UTC 103
94.72
GitHub Action Run
6 run-3.14-python-ta-z3 - 42651953174.6 09 Nov 2026 04:12PM UTC 8
41.37
GitHub Action Run
7 run-3.14-base - 42651953174.7 09 Nov 2026 04:12PM UTC 103
90.43
GitHub Action Run
8 run-3.12-base - 42651953174.8 09 Nov 2026 04:14PM UTC 103
90.45
GitHub Action Run
9 run-3.13-base - 42651953174.9 09 Nov 2026 04:13PM UTC 103
90.45
GitHub Action Run
10 run-3.12-z3-solver - 42651953174.10 09 Nov 2026 04:14PM UTC 103
94.7
GitHub Action Run
11 run-3.11-z3-solver - 42651953174.11 09 Nov 2026 04:14PM UTC 103
94.72
GitHub Action Run
12 run-3.15-z3-solver - 42651953174.12 09 Nov 2026 04:12PM UTC 103
94.68
GitHub Action Run
13 run-3.11-base - 42651953174.13 09 Nov 2026 04:13PM UTC 103
90.48
GitHub Action Run
14 run-3.12-python-ta-z3 - 42651953174.14 09 Nov 2026 04:14PM UTC 8
41.37
GitHub Action Run
15 run-3.13-python-ta-z3 - 42651953174.15 09 Nov 2026 04:13PM UTC 8
41.37
GitHub Action Run
16 run-3.14-z3-solver - 42651953174.16 09 Nov 2026 04:12PM UTC 103
94.68
GitHub Action Run
17 run-3.10-python-ta-z3 - 42651953174.17 09 Nov 2026 04:14PM UTC 8
41.37
GitHub Action Run
18 run-3.10-base - 42651953174.18 09 Nov 2026 04:14PM UTC 103
90.48
GitHub Action Run
Source Files on build 42651953174
  • Tree
  • List 57
  • Changed 4
  • Source Changed 3
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #42651953174
  • Pull Request #1432
  • PR Base - master (#42517110901)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc