removing parameter hardcoded. add the timeout of G5k in the config

program-repair / RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks

MIT License

68 stars 23 forks source link

Closed martinezmatias closed 5 years ago

martinezmatias commented 5 years ago

Hi @tdurieux I updated the code. WDYT?

tdurieux commented 5 years ago

It seems ok. Maybe can you add a comment that says that the overhead is a percentage of the timeout?

martinezmatias commented 5 years ago

Updated