with one click
with one click
[HINT] Download the complete skill directory including SKILL.md and all related files
| name | client-test |
| description | Run leanSpec fixtures against a client implementation |
Run generated leanSpec test fixtures against a client implementation.
/client-test <client-name> e.g. /client-test ream
Generated fixtures live at fixtures/consensus/. Verify it contains JSON files. If empty or missing, generate them:
uv run fill --fork=Lstar --clean -n auto --scheme=prod
Fixtures for client testing must always use --scheme=prod (production signatures).
Clone the client repo into clients/ (gitignored). If already cloned, pull latest.
Remove old fixtures at the destination, then copy the contents of fixtures/consensus/ to the destination (destination path is client-dependent).
Run the test command from the client's test workdir (path is client-dependent). Show full output. Do not abort early on test failures.
If zero tests ran, warn that the client may need to update its test runner to scan the new devnet fixture path.
testing/lean-spec-tests/fixtures/lstartesting/lean-spec-testscargo test --release --features lean-spec-testsleanSpec/fixtures/consensus (leanSpec is a git submodule). (repo root)zig build spectest:generate --summary all (generate Zig test wrappers from JSON fixtures)zig build spectest:run --summary all (run the spec tests)spec/test-vectors (test vector infrastructure is not on master)tests/test_vectors/fixtures/consensus. (repo root)cmake --preset default (configure)cmake --build build -j (build)ctest --test-dir build -R test_vectors_test --output-on-failure (run spec tests)