pyta-uoft / pyta / 10342632195
92%
master: 94%

LAST BUILD BRANCH: remove-old-reporter-docs
DEFAULT BRANCH: master
Ran
Jobs 5
Files 44
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.035% (+0.07%) from 91.965%
10342632195

Pull #1072

github

web-flow 
Merge 58ae84a79 into a6ac91490
Pull Request #1072: Add Z3 Constraints to CFG Edges

95 of 103 new or added lines in 3 files covered. (92.23%)

9 existing lines in 1 file now uncovered.

3039 of 3302 relevant lines covered (92.04%)

9.08 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
8
94.98
 -2.73% python_ta/cfg/graph.py

Uncovered Existing Lines

Lines Coverage ∆ File
9
94.58
 1.81% python_ta/transforms/ExprWrapper.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.9 - 10342632195.1 88
91.58
 GitHub Action Run
2 run-3.10 - 10342632195.2 88
91.86
 GitHub Action Run
3 run-3.12 - 10342632195.3 88
91.89
 GitHub Action Run
4 run-3.8 - 10342632195.4 88
91.58
 GitHub Action Run
5 run-3.11 - 10342632195.5 88
91.86
 GitHub Action Run
Source Files on build 10342632195