REODE

Chuyển đổi dựa trên quy tắc và sửa tất định các mẫu đã biết đi trước, và nếu build lại thành công thì không gọi mô hình nào. Nếu thất bại, một mô hình sửa với bằng chứng đã thu thập và chỉ dẫn sửa, rồi build và test kiểm chứng lại.

Đọc mã cho thấy văn bản lỗi được chuyển cho mô hình sửa là lỗi build ban đầu, không phải lỗi mới của lần build lại · chương “Vòng lặp sửa lỗi”