Package | Description |
---|---|
gov.nasa.jpf.listener |
Class and Description |
---|
IdleFilter
simple combined listener that checks if a thread seems to do idle loops that
might starve other threads or JPF.
|
MethodAnalyzer
analyzes call/execute sequences of methods
closely modeled after the DeadlockAnalyzer, i.e.
|
Perturbator.FieldPerturbation |
Perturbator.ParamsPerturbation |
Perturbator.Perturbation |
Perturbator.ReturnPerturbation |