OxL Reference

fn oxlFuzzArg

A generated argument of a fuzz test (D-7060): any value of T, refinements respected, decided by the fuzz input.

Example:

oxl✓ checked in CI
test fuzz "reverse twice is the identity" (xs: List<i64>) {
  var ys = xs.clone()
  ys.reverse()
  ys.reverse()
  assert_eq(ys, xs)
}
@intrinsic("test.fuzzGen") pub(api) fn oxlFuzzArg<T: Serializable>(name: str) -> T

Since. 1.0.0-beta

Parameters

NameType
namestr

Returns

T

Effects

none declared (pure unless the body says otherwise)

Defined in: std/core/testing.oxl:338

See also