Files
logos-tutorial/docs/spec.md
Iuri Matias d2502ab05d use logos-docspec
use logos-docspec

fix perms
2026-05-30 10:23:00 -04:00

952 B

Tutorial YAML Spec Format

The executable-tutorial format and its runner now live in the shared doctest tool. See the canonical reference:

The *.test.yaml specs in tests/ use that format. Run and generate them by invoking the doctest CLI directly via its flake:

# Execute a tutorial spec end-to-end
nix run github:logos-co/logos-doctest -- run tests/tutorial-wrapping-c-library.test.yaml --verbose

# Generate the .md tutorial from a spec
nix run github:logos-co/logos-doctest -- generate tests/tutorial-wrapping-c-library.test.yaml

To run against a local checkout, swap github:logos-co/logos-doctest for path:../logos-doctest (or wherever your checkout lives).