public final class MemoryPreparator
extends java.lang.Object
MemoryPreparator
describes instruction sequences to set up memory state.Modifier | Constructor and Description |
---|---|
protected |
MemoryPreparator(int dataSize,
ru.ispras.microtesk.test.template.LazyData addressHolder,
ru.ispras.microtesk.test.template.LazyData dataHolder,
java.util.List<Call> calls) |
Modifier and Type | Method and Description |
---|---|
int |
getDataSize() |
java.util.List<Call> |
makeInitializer(PreparatorStore preparators,
ru.ispras.fortress.data.types.bitvector.BitVector addressValue,
ru.ispras.fortress.data.types.bitvector.BitVector dataValue) |
protected MemoryPreparator(int dataSize, ru.ispras.microtesk.test.template.LazyData addressHolder, ru.ispras.microtesk.test.template.LazyData dataHolder, java.util.List<Call> calls)
public int getDataSize()
public java.util.List<Call> makeInitializer(PreparatorStore preparators, ru.ispras.fortress.data.types.bitvector.BitVector addressValue, ru.ispras.fortress.data.types.bitvector.BitVector dataValue)