Testing

Testing — a small unit-testing vocabulary for Aeon. In Aeon a *test* is just a `Bool`-returning function marked with `@property`: the `--test` runner evaluates it and a `True` result is a pass. A function with arguments is a *property* (inputs are generated automatically from the argument types); a function with no arguments is a *unit test* (one concrete case). This library provides readable assertion combinators — every one returns `Bool` — so unit tests and property-based tests share the same vocabulary and the same runner. open Testing open Image # Unit test: one concrete case. `@property(1)` evaluates it exactly once. @property(1) def test_mk_dimensions : Bool = img = Image.mk 4 3 (Color.mk 255 0 0); assertEqual (Image.width img) 4; # Property: dimensions are generated; the assertion must hold for all of them. @property def prop_mk_width (w : {v:Int | v > 0 && v < 64}) : Bool = assertEqual (Image.width (Image.mk w 8 (Color.mk 0 0 0))) w; Run with: aeon --test yourfile.ae Notes ----- * Assertions are plain `Bool` values, so you compose them with the built-in `&&` / `||` / `!`, or with the `allOf*` helpers below to group several checks into one test. * Because an assertion is just a `Bool`, the same helpers work inside the `@example(...)` decorator (machine-checked documentation) as well. ── Boolean assertions ─────────────────────────────────────────────────── Passes when the condition holds. Use it to wrap any boolean expression that this library has no dedicated assertion for (e.g. `assertThat (mem x s)`). Assertion parameters use multiplicity ``n`` (polymorphic identity scaling) so observing a value computed from a linear resource — e.g. ``assertEqual (sum arr) 14`` — does not artificially scale ``arr`` to ``ω``.