| 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 |