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

Addition of 11 new projects to Defects4J #289

Merged
merged 603 commits into from Mar 7, 2020
Merged

Addition of 11 new projects to Defects4J #289

merged 603 commits into from Mar 7, 2020

Conversation

@Greg4cr
Copy link
Collaborator

Greg4cr commented Feb 19, 2020

This PR adds 11 projects to Defects4J:

  • All bugs are Java 8 compatible
  • All bugs have been minimized by two or more Defects4J contributors
  • Metadata has been recomputed for all bugs
Greg4cr added 30 commits Mar 5, 2019
@Greg4cr

This comment has been minimized.

Copy link
Collaborator Author

Greg4cr commented Feb 19, 2020

Ok - all stack traces have been recomputed. As long as CI passes, this should be ready to merge.

@rjust

This comment has been minimized.

Copy link
Owner

rjust commented Feb 19, 2020

I am running the verify-bugs script for all bugs, using all tests right now. Once this successfully completed, I'll take another look at changes, and then this is good to go.

framework/core/Project/JxPath.pm Outdated Show resolved Hide resolved
Greg4cr and others added 2 commits Feb 20, 2020
…tional-projects
@rjust

This comment has been minimized.

Copy link
Owner

rjust commented Feb 20, 2020

We should address issue #292 before merging this in -- otherwise, travis will fail most of the time for no reason.

@Greg4cr

This comment has been minimized.

Copy link
Collaborator Author

Greg4cr commented Feb 21, 2020

Just pushed a commit that fixes #292.

@rjust rjust merged commit 4a4795c into master Mar 7, 2020
2 checks passed
2 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
@rjust rjust deleted the additional-projects branch Mar 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
You can’t perform that action at this time.