x07-test（x07 测试）

x07-test

This skill provides the single canonical way to run tests for an X07 project using the built-in test harness.

Canonical command

• x07 test --manifest tests/tests.json

Notes

• By default, x07 test prints JSON to stdout; use --report-out <path> to write a report file.
• Filter selection:

- x07 test --manifest tests/tests.json --filter <substr> - x07 test --manifest tests/tests.json --filter <id> --exact - By default, filters that select 0 tests are an error; pass --allow-empty to treat this as success. - Use --list to print selected tests without running them.

• Progress output:

- x07 test --verbose prints test: <id> lines to stderr while preserving the machine report on stdout.

• Fuel overrides:

- Set solve_fuel on a test entry in tests/tests.json to override the per-test fuel cap.

• Runner traps:

- When a runner traps, the report includes diagnostic X07T_RUN_TRAP with details.trap set to the decoded trap string.

• OS-world working directory:

- For run-os / run-os-sandboxed, the runner process cwd is derived from the manifest directory when possible (sandboxed tests may choose a different cwd to satisfy policy read roots), so relative filesystem paths resolve from that cwd.

• Property-based tests (PBT):

- x07 test --pbt --manifest tests/tests.json runs PBT entries only. - x07 test --all --manifest tests/tests.json runs unit + PBT. - x07 test --pbt --pbt-repro <repro.json> --manifest tests/tests.json replays exactly one counterexample. - If PBT finds a counterexample, use x07 fix --from-pbt <repro.json> --write to convert it into a deterministic regression test (wrapper module + manifest entry).

• x07 test resolves stdlib.lock by searching upward from the manifest directory, then upward from the x07 executable location. Override with --stdlib-lock <path>.
• New projects created with x07 init include tests/tests.json plus a minimal tests/smoke.x07.json.
• Publishable package repos created with x07 init --package include tests/tests.json and publishable modules under modules/ (no tests/smoke.x07.json).
• Tests under tests/ can import your project modules via project module-root discovery (typically src/ in projects, and modules/ in package repos).
• World-gating is enforced at compile time. Keep unit tests small and pure (no filesystem/network I/O) unless you are explicitly writing OS-world integration tests and running them under the sandbox profile.

See also: https://x07lang.org/docs/toolchain/testing-by-example/