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/