Testing in Spanda

In-language tests, compile-fail assertions, and CLI test runners (Phases 27–28).

Examples:

`test` blocks

test "clamp accepts in-range speed" {
    assert(clamp_speed(0.5) <= 1.0);
}

Run from a project or single file:

spanda test
spanda test examples/basics/07_in_language_tests.sd

Validate that inner statements fail type-checking:

test "rejects bad assignment" {
    expect_compile_error {
        let x: Int = "not an int";
    }
    assert(true);
}

The test passes when the nested block produces a compile error. If the block type-checks, the test fails.

Example: examples/basics/12_compile_fail_tests.sd

Flag	Purpose
`--json`	Machine-readable test report
`--filter <pattern>`	Run tests matching name substring
`--compile-fail`	Expect compile failure for negative tests

spanda test tests/ --json
spanda test rover.sd --filter "health"

my_robot/
├── spanda.toml
├── src/main.sd
└── tests/
    └── smoke.sd

Combine with verification and verify in pipelines:

spanda test
spanda check src/main.sd --verification-json
spanda verify src/main.sd --json --target RoverV1