gov.nasa.jpf.annotation

Annotation Type JPFConfig

public @interface 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

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value

Element Detail

value

public abstract String[] value