PropertyParams

[Source]

Parameters to control Property Execution.

• seed: the seed for the source of Randomness
• num_samples: the number of samples to produce from the property generator
• max_shrink_reductions: the maximum number of shrink reductions to accept
• max_generator_retries: the maximum number of retries to do if a generator fails to generate a sample
• timeout: the timeout for the PonyTest runner, in nanoseconds
• async: if true the property is expected to finish asynchronously by calling PropertyHelper.complete(...)

class val PropertyParams is
  Stringable box

Implements

• Stringable box

---

Constructors

create

[Source]

new val create(
  num_samples': USize val = 100,
  seed': U64 val = Time.millis(),
  max_shrink_reductions': USize val = 100,
  max_generator_retries': USize val = 5,
  timeout': U64 val = 60_000_000_000,
  async': Bool val = false)
: PropertyParams val^

Parameters

• num_samples': USize val = 100
• seed': U64 val = Time.millis()
• max_shrink_reductions': USize val = 100
• max_generator_retries': USize val = 5
• timeout': U64 val = 60_000_000_000
• async': Bool val = false

Returns

• PropertyParams val^

---

Public fields

let seed: U64 val

[Source]

---

let num_samples: USize val

[Source]

---

let max_shrink_reductions: USize val

[Source]

---

let max_generator_retries: USize val

[Source]

---

let timeout: U64 val

[Source]

---

let async: Bool val

[Source]

---

Public Functions

string

[Source]

fun box string()
: String iso^

Returns

• String iso^

---