#![cfg_attr(coverage_nightly, coverage(off))]
use crate::cli::AnalyzeCommands;
use anyhow::Result;
pub struct AnalyzeCommandGroup;
impl Default for AnalyzeCommandGroup {
fn default() -> Self {
Self
}
}
impl AnalyzeCommandGroup {
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn execute(&self, cmd: AnalyzeCommands) -> Result<()> {
crate::cli::handlers::analysis_handlers::route_analyze_command(cmd).await
}
}