PonyTest¶

Main test framework actor that organises tests, collates results, and reports them.

actor tag PonyTest

Constructors¶

create¶

[Source]

Create a PonyTest object and use it to run the tests from the given TestList.

An optional reporter receives structured test results. When omitted, PonyTest uses the standard console output.

new tag create(
  env: Env val,
  list: TestList tag,
  reporter: (TestReporter tag | _StandardReporter val) = _StandardReporter)
: PonyTest tag^

Parameters¶

env: Env val
list: TestList tag
reporter: (TestReporter tag | _StandardReporter val) = _StandardReporter

Returns¶

PonyTest tag^

Public Behaviours¶

apply¶

[Source]

Run the given test, subject to our filters and options.

be apply(
  test: UnitTest iso)

Parameters¶

test: UnitTest iso

Public Functions¶

property[T: T]¶

[Source]

Register a property test.

fun tag property[T: T](
  prop: Property[T] iso,
  name': (String val | None val) = None)
: None val

Parameters¶

prop: Property[T] iso
name': (String val | None val) = None

Returns¶

None val

stateful_property[S: S, M: M, Cmd: Stringable val]¶

[Source]

Register a stateful property test.

fun tag stateful_property[S: S, M: M, Cmd: Stringable val](
  prop: StatefulProperty[S, M, Cmd] iso,
  name': (String val | None val) = None)
: None val

Parameters¶

prop: StatefulProperty[S, M, Cmd] iso
name': (String val | None val) = None

Returns¶

None val