Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
DefaultMementoRestorer
a MementoRestorer that uses the default mementos
|
class |
MementoRestorer
state storer/restorer that works solely on a snapshot basis
|