Docs/Toolchain

Toolchain

Testing

Run @test functions with aura test and std.assert.

Aura’s MVP test runner is the test CLI verb (RFC-011).

Run tests

Single file:

bash
aura test corpus/test/smoke.aura
# monorepo: cargo run -p aura-cli -- test corpus/test/smoke.aura

Whole package:

bash
aura test corpus/multi
aura test examples/notes

@test functions

Mark test entrypoints with @test. Use assert / assert_eq (and std.assert where applicable) for checks on Int, String, and Bool in the current MVP.

aura
@test
fun adds() {
  assert_eq(1 + 1, 2)
}

See corpus/test/ and package-level tests under corpus/ / examples/notes for patterns that compile today.

Design intent

RFC-011 describes a broader framework (discovery, filtering, reporting). The working path today is: compile the package or file, discover @test functions, run them via the runtime, report pass/fail.

Next

All docs pages