pyta-uoft / pyta / 11696708213
94%

DEFAULT BRANCH: master
Ran
Jobs 5
Files 46
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.986% (+0.001%) from 91.985%
11696708213

push

github

web-flow 
Add z3 option to CFG-based checkers (#1099)

When enabled, these checkers will only consider edges that are feasible (based on the satisfiability of logical constraints determined by Z3).

30 of 31 new or added lines in 7 files covered. (96.77%)

3099 of 3369 relevant lines covered (91.99%)

9.18 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
81.25
 -3.37% python_ta/patches/transforms.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.11 - 11696708213.1 89
91.9
 GitHub Action Run
2 run-3.10 - 11696708213.2 89
91.9
 GitHub Action Run
3 run-3.13 - 11696708213.3 89
91.93
 GitHub Action Run
4 run-3.9 - 11696708213.4 89
91.62
 GitHub Action Run
5 run-3.12 - 11696708213.5 89
91.93
 GitHub Action Run
Source Files on build 11696708213