Struct Cli 

pub struct Cli {
    pub gui: bool,
    pub property: Option<String>,
    pub inherent: bool,
    pub machine_path: Option<Utf8PathBuf>,
    pub preparation_path: Option<Utf8PathBuf>,
    pub system_path: Utf8PathBuf,
    pub use_decay: bool,
}

Fields

gui: bool

Whether to show the Graphical User Interface.

property: Option<String>

Computation Tree Logic property to verify.

inherent: bool

Whether to verify the inherent property instead of a supplied one.

machine_path: Option<Utf8PathBuf>

Where the machine crate should be created. Defaults to temporary directory.

preparation_path: Option<Utf8PathBuf>

Location of preparation directory. Defaults to “machine-check-preparation” next to the executable.

system_path: Utf8PathBuf

Location of the system to verify.

use_decay: bool

Whether state decay should be used. This can speed up or slow down verification depending on the system.

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 Clone for Cli

fn clone(&self) -> Cli

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Cli

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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.