Enum Class FixedSeedMode
The fixed seed mode determines how jqwik should behave if a property has an explicit
Property.seed() specified. It can be set in
Property.whenFixedSeed() for any property method. It can be set
globally using the property
This may be useful, for instance, to help prevent a build server from using a fixed seed that may have been accidentally committed.
If it is not set explicitly mode ALLOW will be used.
- See Also:
Enum Constant Details
valuespublic static FixedSeedMode values()Returns an array containing the constants of this enum class, in the order they are declared.
- an array containing the constants of this enum class, in the order they are declared
valueOfReturns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)