Package | Description |
---|---|
gov.nasa.jpf.vm.serialize |
Modifier and Type | Class and Description |
---|---|
class |
DebugCFSerializer
a CFSerializer that stores the serialized program state in a
readable/diffable format.
|
class |
DebugFilteringSerializer
a FilteringSerializer that stores the serialized program state in a
readable/diffable format.
|