Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
ChoicePoint |
ChoicePoint.getNext() |
ChoicePoint |
ChoicePoint.getPrevious() |
static ChoicePoint |
ChoicePoint.readTrace(String fileName,
String sutName)
"application:" appName
{arg}
"["searchLevel"]" (choiceGeneratorName | '#'cgID) nChoice
|