Testing module

run_example

procedure · 1 overloadsince 0.28.0Source

Runs body as a test that prints nothing of its own: a failed check prints its message, and the program exits with status 1. jacket test runs a doc comment's example with it.

run_example :: (body: (t: *Test))

Runs body as a test that prints nothing of its own: a failed check prints its message, and the program exits with status 1. jacket test runs a doc comment's example with it.

Parameters

body: (t: *Test)
the example to run.

See also