Expand description
One entry point for a whole verification run.
Everything the CLI does after argument parsing happens here, so an embedder gets the same run the command line gets — same probes, same order, same verdict logic — without reimplementing the wiring. That equivalence is the point: a marketplace that gates listings on this must be able to say its gate and its published tool agree, and the only way to guarantee that is for there to be one implementation.
Structs§
- RunConfig
- Everything a run needs.
Functions§
- run
- Run the suite and assemble the report.