pyta-uoft / pyta / 10858552239
94%

DEFAULT BRANCH: master
Ran
Jobs 5
Files 45
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: 92.038% (-0.007%) from 92.045%
10858552239

push

github

web-flow 
Refactor ExprWrapper and rename it to Z3Parser (#1080)

Remove the passing of `node` argument to Z3Parser constructor.
Fix error in handling Arguments and Expr nodes.
Rename test_expr_wrapper to test_z3_parser.

26 of 27 new or added lines in 3 files covered. (96.3%)

3040 of 3303 relevant lines covered (92.04%)

9.07 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
94.67
 0.0% python_ta/cfg/graph.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.8 - 10858552239.1 90
91.58
 GitHub Action Run
2 run-3.11 - 10858552239.2 90
91.86
 GitHub Action Run
3 run-3.10 - 10858552239.3 90
91.86
 GitHub Action Run
4 run-3.9 - 10858552239.4 90
91.58
 GitHub Action Run
5 run-3.12 - 10858552239.5 90
91.89
 GitHub Action Run
Source Files on build 10858552239