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

Randoop updates #166

Merged
merged 15 commits into from Nov 30, 2018

Conversation

Projects
None yet
2 participants
@markro49
Contributor

markro49 commented Jul 16, 2018

Sorry - didn't realize it would remember a deleted branch name - only the July 15 commits are new.

Miscellaneous cleanup for collecting coverage data when running Randoop on Defects4j.

@rjust rjust merged commit 71f9324 into rjust:master Nov 30, 2018

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