Increase Safety

Perform safe and provable refactoring.

The Change

Use provable (r) refactorings instead of test-supported (R) or unprovable (R!!) refactorings.

The Value Proposition

Using provable refactorings makes refactoring safe:

  1. Refactor without writing bugs.
  2. Get untestable code under test without writing bugs.
Please log in

This content is only available to students. Please log in to access it.