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 |