Removed SVN install + Cached Z3

program-repair / RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks

MIT License

68 stars 23 forks source link

Closed alcides closed 3 years ago

alcides commented 3 years ago

Related to #37 , I removed the SVN dependency, as I couldn't find a benchmark that needed it.

Also added a guard that does not download z3 if it is already in the correct folder.

Additionally, z3 does not need to be installed, just in PATH.

tdurieux commented 3 years ago

Thank you for your PR.

I think we added svn because of Defects4j.