pyta-uoft / pyta / 10411082515
94%

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.045% (-0.02%) from 92.061%
10411082515

push

github

web-flow 
Add `negate` Attribute to `CFGEdge` (#1076)

Add `negate` attribute to edge to indicate whether the edge condition is negated.
Refactor update_edge_z3_constraints to use `negate` instead of `label`.
Add get_label() method to account for both label and negate attributes.

14 of 15 new or added lines in 2 files covered. (93.33%)

3043 of 3306 relevant lines covered (92.04%)

9.08 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
94.67
 -0.31% python_ta/cfg/graph.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.8 - 10411082515.1 88
91.59
 GitHub Action Run
2 run-3.9 - 10411082515.2 88
91.59
 GitHub Action Run
3 run-3.12 - 10411082515.3 88
91.9
 GitHub Action Run
4 run-3.11 - 10411082515.4 88
91.87
 GitHub Action Run
5 run-3.10 - 10411082515.5 88
91.87
 GitHub Action Run
Source Files on build 10411082515