pyta-uoft / pyta / 12416604451
94%

DEFAULT BRANCH: master
Ran
Jobs 5
Files 47
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.881% (+0.02%) from 91.861%
12416604451

push

github

web-flow 
Add redundant-condition and impossible-condition checkers (#1114)

These checks make use of Z3 constraints, and so require z3-solver to be installed and the z3 configuration option to be enabled.

45 of 50 new or added lines in 3 files covered. (90.0%)

3146 of 3424 relevant lines covered (91.88%)

9.17 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
65.22
 -1.45% python_ta/patches/transforms.py
4
90.7
 python_ta/checkers/condition_logic_checker.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.11 - 12416604451.1 91
91.79
 GitHub Action Run
2 run-3.12 - 12416604451.2 91
91.82
 GitHub Action Run
3 run-3.9 - 12416604451.3 91
91.52
 GitHub Action Run
4 run-3.13 - 12416604451.4 91
91.82
 GitHub Action Run
5 run-3.10 - 12416604451.5 91
91.79
 GitHub Action Run
Source Files on build 12416604451