Uses of Interface
gov.nasa.jpf.vm.DebugStateSerializer

Packages that use DebugStateSerializer

Package	Description
gov.nasa.jpf.vm.serialize

Uses of DebugStateSerializer in gov.nasa.jpf.vm.serialize

Classes in gov.nasa.jpf.vm.serialize that implement DebugStateSerializer

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.