CLI

Command-line entry points shipped with the Days repository.

Days ships several binaries:

days (default src/main.rs): run a simulation from a TOML config.
leanguard-run: run Days, discover trace files, and invoke LeanGuard checker binaries.
leanguard-testgen: corpus-based test generation pipeline built on top of leanguard-run.

See the pages in this section for flags and examples.

Reference

CLI flags, trace formats, and configuration details derived from the current codebase.

days

Run a simulation from a single TOML configuration file.