astor
astor copied to clipboard
"End Repair Search: NOT Found solution" even in case of provided examples.
Steps to reproduce -
- Cloned this repo as is.
- On
mvn clean installstep, there is an error regardingSource option 5 is no longer supported. Use 6 or later.This appeared onMath-issue-309andMath-issue-280, theirpom.xmlfiles' tags had to be updated from 1.5 to 1.6 and then the command works. - Running this command as is specified in the doc
java -cp target/astor-*-jar-with-dependencies.jar fr.inria.main.evolution.AstorMain -mode jgenprog -srcjavafolder /src/java/ -srctestfolder /src/test/ -binjavafolder /target/classes/ -bintestfolder /target/test-classes/ -location /Users/trb/Documents/SideGigs/Patcher/astor/examples/Math-issue-309 -dependencies examples/Math-issue-309/libResults in the following log -
[1190389] WARN AstorCoreEngine - ----------Running generation: 199, population size: 1
[1190712] WARN AstorCoreEngine - ----------Running generation: 200, population size: 1
[1201220] INFO main - The Process that runs JUnit test cases did not terminate within waitTime of 10 seconds
[1201220] INFO main - Killed the Process that runs JUnit test cases 17210
[1201224] INFO AstorCoreEngine - Time Repair Loop (s): 1112.246
[1201224] INFO AstorCoreEngine - generationsexecuted: 200
[1201224] WARN AstorCoreEngine - ----SUMMARY_EXECUTION---
[1201224] WARN AstorCoreEngine - End Repair Search: NOT Found solution
[1201224] WARN AstorCoreEngine - Number suspicious:1
[1201233] INFO AstorMain - Time Total(s): 1201.231
There is no patch.diff file generated, either, as it should be according to the doc; in the output directory.
did you solved the problem later? please let me know