| Annotation Type | Description |
|---|---|
| FilterField |
Indicates that a field in the model should not be considered during
state matching.
|
| FilterFrame |
USE CAREFULLY - Indicates that the stack frame of a method should not,
in specified ways, be considered during state matching.
|
| JPFConfig |
annotation that can be used to change JPF config properties
from within the SuT
using such annotations should NOT make the SuT JPF dependent
|
| JPFOption | |
| JPFOptions | |
| MJI |