public final class RiscvLtuDataGenerator extends RiscvBranchDataGenerator
RiscvLtuDataGenerator
is a test data generator for BLTU-family instructions.Constructor and Description |
---|
RiscvLtuDataGenerator() |
Modifier and Type | Method and Description |
---|---|
ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generateElse(ru.ispras.testbase.TestBaseQuery query) |
ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> |
generateThen(ru.ispras.testbase.TestBaseQuery query) |
distinctValue, generate, generate, generateDistinct, generateEqual, getValue, getValueAsBitVector, negativeValue, nonNegativeValue, nonPositiveValue, positiveValue
public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateThen(ru.ispras.testbase.TestBaseQuery query)
generateThen
in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator
public ru.ispras.testbase.knowledge.iterator.Iterator<ru.ispras.testbase.TestData> generateElse(ru.ispras.testbase.TestBaseQuery query)
generateElse
in class ru.ispras.microtesk.test.engine.branch.BranchDataGenerator