Class CoverageExtractor
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.CoverageExtractor
-
public final class CoverageExtractor extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static CoverageExtractor
get()
AccessChooser
getPathChooser(MmuSubsystem memory, GraphAbstraction abstraction, MemoryAccessType type, AccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)
java.util.List<AccessChooser>
getPathChoosers(MmuSubsystem memory, GraphAbstraction abstraction, MemoryAccessType type, AccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)
-
-
-
Method Detail
-
get
public static CoverageExtractor get()
-
getPathChooser
public AccessChooser getPathChooser(MmuSubsystem memory, GraphAbstraction abstraction, MemoryAccessType type, AccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)
-
getPathChoosers
public java.util.List<AccessChooser> getPathChoosers(MmuSubsystem memory, GraphAbstraction abstraction, MemoryAccessType type, AccessConstraints constraints, int recursionLimit, boolean discardEmptyTrajectories)
-
-