pyta-uoft / pyta / 41487003200
92%
master: 92%

LAST BUILD BRANCH: versioning-reassigned-vars
DEFAULT BRANCH: master
Ran
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
coverage: 91.637% (+0.05%) from 91.587%
41487003200

Pull #1423

github

web-flow 
Merge ae1fd0579 into cc695b31e
Pull Request #1423: Remove constraints on variables reassigned in loops

25 of 25 new or added lines in 1 file covered. (100.0%)

3846 of 4197 relevant lines covered (91.64%)

21.2 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-3.12-python-ta-z3 - 41487003200.1 8
41.42
GitHub Action Run
2 run-3.10-python-ta-z3 - 41487003200.2 8
41.42
GitHub Action Run
3 run-3.12-z3-solver - 41487003200.3 103
94.99
GitHub Action Run
4 run-3.13-base - 41487003200.4 103
91.02
GitHub Action Run
5 run-3.12-base - 41487003200.5 103
91.02
GitHub Action Run
6 run-3.14-python-ta-z3 - 41487003200.6 8
41.42
GitHub Action Run
7 run-3.13-z3-solver - 41487003200.7 103
94.99
GitHub Action Run
8 run-3.11-base - 41487003200.8 103
91.04
GitHub Action Run
9 run-3.15-python-ta-z3 - 41487003200.9 8
41.42
GitHub Action Run
10 run-3.10-base - 41487003200.10 103
91.04
GitHub Action Run
11 run-3.15-z3-solver - 41487003200.11 103
94.98
GitHub Action Run
12 run-3.13-python-ta-z3 - 41487003200.12 8
41.42
GitHub Action Run
13 run-3.11-python-ta-z3 - 41487003200.13 8
41.42
GitHub Action Run
14 run-3.15-base - 41487003200.14 103
91.0
GitHub Action Run
15 run-3.14-z3-solver - 41487003200.15 103
94.98
GitHub Action Run
16 run-3.14-base - 41487003200.16 103
91.0
GitHub Action Run
17 run-3.11-z3-solver - 41487003200.17 103
95.01
GitHub Action Run
18 run-3.10-z3-solver - 41487003200.18 103
95.01
GitHub Action Run
Source Files on build 41487003200