Part V: Automatic Repair
¶
In this part, we show how to automatically repair code.