Increase Safety
Perform safe and provable refactoring.
less than a minute
The Change
Use provable (r) refactorings instead of test-supported (R) or unprovable (R!!) refactorings.
The Value Proposition
Using provable refactorings makes refactoring safe:
- Refactor without writing bugs.
- Get untestable code under test without writing bugs.
Please log in
This content is only available to students. Please log in to access it.