1
94%
master: 94%

Ran 12 Apr 2024 12:46AM UTC

Files 84

Run time 1s

Badge

Embed ▾

Committed 12 Apr 2024 12:43AM UTC coverage: 92.616% (+0.05%) from 92.57%

Job # 8655192005.1

Build Type

push

github

Committed by

web-flow

Commit Message

Added function preconditions to initial function CFG edge (#1033)

* added function preconditions to initial function cfg edge
added tests
allowed parse_assertions to accept func nodes with no docstring

* changed sets to lists for predictable testing

* updated precondition processing

* filtered non-python preconditions

* changelog and parentheses wrapping

* updated docstring

Run Details

5055 of 5458 relevant lines covered (92.62%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.10 - 8655192005.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-3.10 - 8655192005.1

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

README BADGES
x