FloatingPoint32Value.random constructor
Generate a random FloatingPoint32Value, supplying random seed rv
.
Implementation
factory FloatingPoint32Value.random(Random rv, {bool normal = false}) {
final randFloat = FloatingPointValue.random(rv,
exponentWidth: exponentWidth,
mantissaWidth: mantissaWidth,
normal: normal);
return FloatingPoint32Value.ofLogicValue(randFloat.value);
}