Skip to content
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

[JVM] Add retry logic for no coverage gain #742

Merged
merged 3 commits into from
Dec 7, 2024

Conversation

arthurscchan
Copy link
Collaborator

@arthurscchan arthurscchan commented Dec 5, 2024

This PR relocate the calculation of coverage total and coverage diff into the checking and retry loop. This fixes can then use the lively caluclated coverage diff to determine if the successfully build and run harness increase the project coverage or not. If it does not increase the project coverage, use the new retry logic prompts to ask LLM to help fixing the harness. The fixing of errors in generated harness as well as harness with no coverage increase are count together. After this fix, it increase the rate of successfully build and run for generated harness and make sure more of them could have help improveing project coverage.

Remark, this coverage feedback approach is currently only work exclusively for JVM projects.

Signed-off-by: Arthur Chan <[email protected]>
Signed-off-by: Arthur Chan <[email protected]>
@arthurscchan
Copy link
Collaborator Author

/gcbrun exp -n ascc-jvm-pr-742-1 -m vertex_ai_gemini-1-5 -i -b jvm-medium

@arthurscchan
Copy link
Collaborator Author

/gcbrun exp -n ascc-jvm-pr-742-2 -m vertex_ai_gemini-1-5 -i -b comparison

@DavidKorczynski
Copy link
Collaborator

Copy link
Collaborator

@DavidKorczynski DavidKorczynski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

it's a nice idea -- I think we should consider this for C/C++ as well, and perhaps make it optional too.

@DavidKorczynski DavidKorczynski merged commit fe43b0c into main Dec 7, 2024
5 checks passed
@DavidKorczynski DavidKorczynski deleted the fix-coverage-feedback branch December 7, 2024 19:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants