![[Jenkins]](/repairnator/static/9b962a5e/images/svgs/logo.svg){kind=logo}
Summary
- tmp file is deleted after use (details)
| The file was modified | src/repairnator-pipeline/src/main/java/fr/inria/spirals/repairnator/process/step/repair/Sorald.java (diff) |
| The file was modified | src/repairnator-pipeline/src/main/java/fr/inria/spirals/repairnator/process/step/repair/Sorald.java (diff) |