rapx/cli/
verify.rs

1use clap::Args;
2
3/// Arguments for the `verify` command.
4#[derive(Debug, Clone, Args)]
5pub struct VerifyArgs {
6    /// Identify all functions annotated with #[rapx::verify] and print each target, its unsafe callees, and their safety contracts.
7    #[arg(long)]
8    pub prepare_targets: bool,
9}