public final class CoverageExtractor
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static CoverageExtractor |
get() |
MemoryAccessChooser |
getPathChooser(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
int recursionLimit,
boolean discardEmptyTrajectories) |
java.util.List<MemoryAccessChooser> |
getPathChoosers(MmuSubsystem memory,
MemoryGraphAbstraction abstraction,
MemoryAccessType type,
MemoryAccessConstraints constraints,
int recursionLimit,
boolean discardEmptyTrajectories) |
public static CoverageExtractor get()
public MemoryAccessChooser getPathChooser(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)
public java.util.List<MemoryAccessChooser> getPathChoosers(MmuSubsystem memory, MemoryGraphAbstraction abstraction, MemoryAccessType type, MemoryAccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)