Expand description
The CLI options for cargo-hax. The types defines in this module
are also used by the driver and the engine.
Modules§
Structs§
- Backend
Options - Bounds
Options - Exporter
Options - The subset of
Optionsthe frontend is sensible to. - Extensible
Options - FStar
Options - Force
Cargo Build - Inclusion
Clause - Namespace
- ProVerif
Options - Translation
Options
Enums§
- Backend
- Backend
Name - Command
- Debug
Engine Mode - Deps
Kind - Export
Body Kind - Glob
- Inclusion
Kind - Message
Format - Namespace
Chunk - Path
OrDash