pyta-uoft / pyta / 8655192005

94%

push

github

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

22 of 22 new or added lines in 2 files covered. (100.0%)

3318 of 3462 relevant lines covered (95.84%)

7.31 hits per line