Struct CliOptions 

pub struct CliOptions<'a> {
    pub request: &'a str,
    pub session_id: &'a str,
    pub launch: &'a LaunchPlan,
    pub store: Option<&'a ExecutionStore>,
    pub verbose: bool,
    pub cwd: &'a Path,
    pub get_env: &'a dyn Fn(&str) -> Option<String>,
}

What run_formal_ai_cli needs from the CLI.

Fields

request: &'a str

session_id: &'a str

launch: &'a LaunchPlan

store: Option<&'a ExecutionStore>

verbose: bool

cwd: &'a Path

get_env: &'a dyn Fn(&str) -> Option<String>