-
Notifications
You must be signed in to change notification settings - Fork 177
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
Side Effect Free and Nondeterministic Method List Generator w/ ASM #660
base: master
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for these changes. I have a few questions and concerns.
@@ -974,7 +992,8 @@ public void runCollectionGenerationTest() { | |||
options, | |||
"collectiongen.Day.valueOf(java.lang.String) exclude", | |||
"collectiongen.AnInputClass.hashCode() ignore", | |||
"collectiongen.Day.values() ignore"); | |||
"collectiongen.Day.values() ignore", | |||
"collectiongen.AnInputClass.toString() ignore"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm concerned by the addition of ignores in these small tests. Why are the given methods no longer being called? We should investigate each of these changes carefully. (Did you already do that, or just accept the changes?)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we discussed this in an email (though we only got to investigating one of them).
@@ -1498,8 +1520,8 @@ public void runBadCollectionSizeTest() { | |||
systemTestEnvironmentManager.createTestEnvironment("bad-collection-size"); | |||
RandoopOptions options = createRandoopOptions(testEnvironment); | |||
options.addTestClass("collections.BadCollection"); | |||
options.setOption("generated_limit", "10"); | |||
options.setOption("output_limit", "10"); | |||
options.setOption("generated_limit", "5"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why are these changed?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we discussed this in an email (though we only got to investigating one of them).
This tool generates the SideEffectFree and Nondeterministic method lists from checker framework and Rashmi's work on determinism.