-
Notifications
You must be signed in to change notification settings - Fork 15
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Unrepair Math-84 #104
Comments
This is not an issue with flacoco. The location that is patched through GZoltar is the following:
Flacoco identifies this line, with the same suspiciousness value: The difference is in the "priority". For GZoltar, this line is the 7th, whereas for Flacoco it is the 11th (cropped out the lines that appear after): GZoltar:
Flacoco:
|
Is that a timout issue then? (Astor does not have the time to reach the 11th line? |
In this case yes (https://github.com/martinezmatias/astor/runs/3676645094?check_suite_focus=true#step:8:2326). A similar issue might arise with the limit of generations. |
Closing as this is an issue in Astor SpoonLabs/astor#341 |
jGenProg arrives to repair with Gzoltar, but not with Flacoco (which does not fail)
Logs for the two executions, first Gzoltar, then Flacoco
https://github.com/martinezmatias/astor/runs/3676645094?check_suite_focus=true
The text was updated successfully, but these errors were encountered: