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

Add class repairer.MuJavaAPI #11

Closed
saiema opened this issue Sep 19, 2014 · 2 comments
Closed

Add class repairer.MuJavaAPI #11

saiema opened this issue Sep 19, 2014 · 2 comments
Assignees
@saiema
Milestone
Basic Functionality

Comments

@saiema
Copy link
Collaborator

saiema commented Sep 19, 2014

This class should offer the following methods

  • given a repairer.FixCandidate object, a method name and a list of mujava.api.Mutant objects (mutation operators) generate a list of FixCandidate objects, each one representing a mutant.
@saiema saiema self-assigned this Sep 19, 2014
@saiema saiema added this to the Basic Functionality milestone Sep 19, 2014
@nmaguirre
Copy link
Collaborator

Please make sure that subsequent calls from getSuccessors will derive in writing mutants in different directories (within /tmp).

@saiema
Copy link
Collaborator Author

saiema commented Sep 22, 2014

Completed in 2a16942

@saiema saiema closed this as completed Sep 22, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@saiema saiema

Labels
None yet
Projects
None yet
Milestone
Basic Functionality
Development

No branches or pull requests
2 participants
@nmaguirre @saiema