3.7.3 Test Suites

This section describes the public tests suites provided by the library. See test-suite, rackunit, run-tests, and rackunit/text-ui.

These are property-based test suites for each chapter. They test compiler passes via the language interpreters and validators. These make no assumptions about the structure of the pass list.

The suites work best when the compiler is designed and implementated top-down, and may not test intermediate passes until earlier passes are complete, as the testing framework generates tests for later passes from earlier passes that pass their own tests.