ponder-lab / Hybridize-Functions-Refactoring / 1605

71%

Build Type

push

travis-pro

Committed by web-flow

Commit Message

Add recursion (#288)

* Change TODOs to notes.

* Add recursive function test.

* Change function name.

* Format.

* Add recursive test.

* Add transitive recursive test.

* We want it to have an error.

* Add hybrid recursive test.

* Also assert refactoring kind.

* Change if to assertion.

* Add test.

* Add assertions.

* Fix message.

* Add transitive test.

* Add retracing case.

* Progress.

* Progress.

* Remove unused import.

* Progress.

* Add comments.

* Add precondition failures for recursion.

* Add warning for recursion.

* Add assertion.

* Progress.

* Test to exercise infinite recursion.

Need a "seen" list that doesn't contain the function in question?

* Simplify side-effects algorithm.

* Avoid infinite loops.

* Fix test code.

* Fix assertions.

Run Details

53 of 63 new or added lines in 5 files covered. (84.13%)

1 existing line in 1 file now uncovered.

743 of 956 relevant lines covered (77.72%)

0.78 hits per line