1
94%
master: 94%

Ran 12 Aug 2024 03:02PM UTC

Files 88

Run time 2s

Badge

Embed ▾

Committed 12 Aug 2024 02:53PM UTC coverage: 91.686% (+0.2%) from 91.496%

Job # 10354245027.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add Z3 Constraints to CFG Edges (#1072)

Implement Z3Environment class to store the variable environment and constraints in CFG.
Add attributes precondition_constraints to ControlFlowGraph and z3_constraints to CFGEdge.

Generate new z3 constraints from function preconditions, if statement conditions, and while loop conditions.

Run Details

6043 of 6591 relevant lines covered (91.69%)

1.37 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 10354245027.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 10354245027.1

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

README BADGES
x