An example suite, run in this page: one module that passes, one with failures, and one with no tests. It is not one of this repository's proofs, so it never turns a real run red.
Run the example
Idle. Press Run to start the suite.