search

program-repair / RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks
MIT License
68 stars 23 forks source link

Init RepairThemAll #21

Closed jose closed 4 years ago

jose commented 5 years ago

Hi @tdurieux ,

Two questions/comments about the init script.

1. Clone command reports an issue

$ git clone --recursive https://github.com/program-repair/RepairThemAll.git RepairThemAllFramework

...
Submodule path 'benchmarks/Bug-dot-jar/repositories/accumulo': checked out '41ec3e2a248e22037e200edfcae65c08eafab687'
Submodule path 'benchmarks/Bug-dot-jar/repositories/camel': checked out '75dae83e3fce549608e508a01edbdd54227a357b'
Submodule path 'benchmarks/Bug-dot-jar/repositories/commons-math': checked out 'eafb16c711d5cd79edad5fbb2055252acdb3825e'
Submodule path 'benchmarks/Bug-dot-jar/repositories/flink': checked out 'b2cc4515a842dea029bcf854fb5479e271192a09'
Submodule path 'benchmarks/Bug-dot-jar/repositories/jackrabbit-oak': checked out 'a7b1675adcab8b2c27ef73d8d6ad7ccccb3ddeea'
Submodule path 'benchmarks/Bug-dot-jar/repositories/logging-log4j2': checked out 'b50a2378784ae5e91cc44d8f8c81e2151d29cf57'
Submodule path 'benchmarks/Bug-dot-jar/repositories/maven': checked out '69c512a8203030f3fee657673b0416bc2a121eae'
Submodule path 'benchmarks/Bug-dot-jar/repositories/wicket': checked out 'd88cebe581232022bb481c325ea23bd0fe9a0110'
Submodule path 'benchmarks/IntroclassJava': checked out 'aec9de3495e2b588f1cb803d90892ee1a0ca6b41'
Submodule path 'benchmarks/QuixBugs': checked out 'b11cde571c412600e21fa60ad9f784e81e63b546'
Submodule path 'benchmarks/bears': checked out 'c637bf555ff3a9b5abb1ca219dabd6e1113ef581'
fatal: No url found for submodule path 'benchmarks/bears/src/test/resources/shift-parser-expectations' in .gitmodules
Submodule path 'benchmarks/defects4j': checked out 'fcf6b9bb030e0f5f03ebab112eb4d4b622f2f315'
Submodule path 'libs/z3': checked out 'b02c69828419e792c67876f7beecfabe73196aac'
Failed to recurse into submodule path 'benchmarks/bears'

2. The make install requires sudo permissions

Any idea how to configure Z3 build to avoid that?

-- Best, Jose

jose commented 5 years ago

Actually, make install does not even seem to required, as the path to the build directory is included by RepairThemAll. RepairThemAll (in particular Nopol, which is the only tool that uses Z3) seems to be working just fine and I did not execute make install.

tdurieux commented 5 years ago

fatal: No url found for submodule path 'benchmarks/bears/src/test/resources/shift-parser-expectations' in .gitmodules

I never saw this error before, I will check if something changed

make install

True, the make install is not required, just the make is