Struct Cli 

pub struct Cli {

    pub cases: u32,
    pub min_sequence_len: usize,
    pub max_sequence_len: usize,
    pub lenient_sourcing: bool,
    pub mine_text: bool,
    pub dump_corpus: bool,
    pub log_corpus_deltas: bool,
    pub no_lenient_sourcing: bool,
    pub state_machine_config: Option<String>,
    pub tool_allowlist: Vec<String>,
    pub tool_blocklist: Vec<String>,
    pub in_band_error_forbidden: bool,
    pub pre_run_hook: Option<String>,
    pub json: bool,
    pub full_trace: bool,
    pub show_uncallable: bool,
    pub uncallable_limit: usize,
    pub trace_all: Option<String>,
    pub command: Command,
}

Fields

cases: u32

Number of proptest cases to execute.

min_sequence_len: usize

Minimum sequence length per generated run.

max_sequence_len: usize

Maximum sequence length per generated run.

lenient_sourcing: bool

Allow schema-based generation when corpus lacks required values.

mine_text: bool

Mine whitespace-delimited text tokens into the state corpus.

dump_corpus: bool

Dump the final state-machine corpus after the run completes.

log_corpus_deltas: bool

Log newly mined corpus values after each tool response.

no_lenient_sourcing: bool

Disable schema-based generation when corpus lacks required values.

state_machine_config: Option<String>

State-machine config as inline JSON or @path to a JSON file.

tool_allowlist: Vec<String>

Allowlist tool names eligible for invocation generation (repeatable).

tool_blocklist: Vec<String>

Blocklist tool names excluded from invocation generation (repeatable).

in_band_error_forbidden: bool

Fail the run when a tool result reports isError = true. By default, tool error responses are allowed and do not fail the run.

pre_run_hook: Option<String>

Shell command string executed via sh -c before validation and each run. Requires a POSIX sh; on Windows this needs Git Bash/MSYS2 (native support welcome).

json: bool

Emit JSON output instead of human-readable output.

full_trace: bool

Include tool responses in the trace output.

show_uncallable: bool

Include uncallable tool traces when coverage validation fails.

uncallable_limit: usize

Number of calls per tool to include in uncallable traces.

trace_all: Option<String>

Emit all per-case traces to a file (JSON lines).

command: Command

Trait Implementations

impl Args for Cli

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl CommandFactory for Cli

fn command<'b>() -> Command

Build a Command that can instantiate Self.

fn command_for_update<'b>() -> Command

Build a Command that can update self.

impl FromArgMatches for Cli

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Parser for Cli

fn parse() -> Self

Parse from std::env::args_os(), exit on error.

fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error.

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

fn update_from<I, T>(&mut self, itr: I)

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, exit on error.

fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, return Err on error.