1
94%
master: 94%

Ran 15 Aug 2024 09:56PM UTC

Files 88

Run time 2s

Badge

Embed ▾

Committed 15 Aug 2024 09:53PM UTC coverage: 91.589% (-0.1%) from 91.686%

Job # 10411082515.1

Build Type

push

github

Committed by

web-flow

Commit Message

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.

Run Details

5989 of 6539 relevant lines covered (91.59%)

0.92 hits per line

pyta-uoft / pyta / 10411082515 / 1
94%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 10411082515.1

pyta-uoft / pyta / 10411082515 / 1 94% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 10411082515.1

pyta-uoft / pyta / 10411082515 / 1
94%
master: 94%

README BADGES
x