Package | Description |
---|---|
gov.nasa.jpf.listener |
Modifier and Type | Class and Description |
---|---|
static class |
Perturbator.FieldPerturbation |
static class |
Perturbator.ParamsPerturbation |
static class |
Perturbator.ReturnPerturbation |
Modifier and Type | Method and Description |
---|---|
protected boolean |
Perturbator.isMatchingInstructionLocation(Perturbator.Perturbation p,
Instruction insn) |
protected boolean |
Perturbator.isRelevantCallLocation(Instruction invokeInsn,
Perturbator.Perturbation p) |
protected boolean |
Perturbator.isRelevantCallLocation(ThreadInfo ti,
Perturbator.Perturbation p) |