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.

Sign up for GitHub

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

Jump to bottom

Rework Recorder to not depend on the Defects4j validation script #29

Open
Marti2203 opened this issue Feb 3, 2023 · 2 comments
Open

Rework Recorder to not depend on the Defects4j validation script #29

Marti2203 opened this issue Feb 3, 2023 · 2 comments
Assignees
@Marti2203
Labels
enhancement New feature or request repair-driver

Comments

@Marti2203
Copy link
Collaborator

Similarly to #22, Recorder is mostly tailored for a specific benchmark. This is not too hard to do but will require investigation into the scripts of recorder and making a whole new docker image probably.
@Marti2203 Marti2203 added the enhancement New feature or request label Feb 3, 2023
@rshariffdeen
Copy link
Collaborator

@Marti2203 - I believe you were able to make progress in this ?

@Marti2203
Copy link
Collaborator Author

Yes, I will add it this weekend. I found the script so will make some updates.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Marti2203 Marti2203

Labels
enhancement New feature or request repair-driver
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rshariffdeen @Marti2203