Package ru.ispras.microtesk.mmu.test.template
-
Class Summary Class Description AccessConstraints TheAccessConstraints
class holds constraints related to memory accesses.AccessConstraints.Builder BufferEventConstraint TheBufferEventConstraint
class describes constraints on buffer access events.ConstraintFactory TheConstraintFactory
class is used by test templates to create memory-related constraints from Ruby code.VariableConstraint TheVariableConstraint
class describes constraints on a memory variable.