4.25 The Standard Testing Library

To use the test library

(import :std/test)

4.25.1 test-suite

(test-suite description case ...) -> test-suite

  description := string; description of the test suite
  case := test-case

Creates a test suite with one ore more test cases.

(test-case description body ...) -> test-case

  description := string; description of the test case
  body := code, as in the body of a lambda

Creates a new test case, with the body executed in a thunk.

(check expr => value)
(check expr => value :: equality-function)
(check expr ? predicate)
(check equality-function expr value)

Evaluates an expr and asserts that its value is the expected one:

the first form uses equal? to compare the result of expr with the expected value.
the second form uses a custom equality predicate to compare the result of expr with value.
the third form applies the predicate predicate.
the fourth form compares the result with value using the equality function equality-function.

(checkf equality-predicate expr value)

Evaluates expr and asserts that the the value is as expected, using the equality-predicate.

(check-eq? expr value)

Equivalent to (checkf eq? expr value).

(check-not-eq? expr value)

Equivalent to (checkf (? not eq?) expr value).

(check-eqv? expr value)

Equivalent to (checkf eqv? expr value).

(check-not-eqv? expr value)

Equivalent to (checkf (? not eqv?) expr value).

(check-equal? expr value)

Equivalent to (checkf equal? expr value).

(check-not-equal? expr value)

Equivalent to (checkf (? not equal?) expr value).

(check-output expr output)

Evaluates expr capturing its output and asserts it is equal to the expected output.

(check-predicate expr pred)

Evaluates expr and asserts that its value satisfies the predicate pred.

(check-exception expr exn-pred)

Evaluates expr and asserts that it raises an exception that satisfies the predicate exn-pred.