1
94%
master: 94%

Ran 02 Oct 2024 02:53AM UTC

Files 90

Run time 2s

Badge

Embed ▾

Committed 02 Oct 2024 02:50AM UTC coverage: 91.507% (-0.09%) from 91.594%

Job # 11136984383.1

Build Type

push

github

Committed by

web-flow

Commit Message

Check CFGEdge constraint feasibility using Z3 (#1084)

Implement update_edge_feasibility function that traverses through CFG and checks for logically impossible edges.

* feat: implement rendering of infeasible CFG edges in light grey

Run Details

6055 of 6617 relevant lines covered (91.51%)

0.92 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 11136984383.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.8 - 11136984383.1

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

README BADGES
x