Closed JayBazuzi closed 3 years ago
Well, I'm meaning the recipes from Fowler. The ones for which proof rests on tests, not static analysis.
How can we make that clear?
I don't think "proof" is the right word here. Check? Verify? Not sure if changing that would help, though.
I believe this is addressed in the current version, with more clarity about the distinction between "Provable refactorings" "Test-supported procedural refactorings" and "general remodeling". I'm going to close this as fixed. Let me know if you think I should re-open.
Why does
R
require:?
Wouldn't a recipe give you
r
?