bugfix: vars were permuted

program-repair / RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks

MIT License

68 stars 23 forks source link

Closed martinezmatias closed 3 years ago

martinezmatias commented 4 years ago

Hi @tdurieux A potential bugfix, I reproduce it by executing bugs.jar bugs. WDYT? Cheers Matias

h4iku commented 3 years ago

I installed the framework from source, and the Bugs.jar benchmark showed this flickering error during working on each bug:

This pull request seems to fix the issue.

martinezmatias commented 3 years ago

Hi @h4iku Thanks for reporting the issue. Merged. Regards