[][src]Function clarity_repl::clarity::analysis::run_analysis

pub fn run_analysis(
    contract_identifier: &QualifiedContractIdentifier,
    expressions: &mut [SymbolicExpression],
    analysis_db: &mut AnalysisDatabase<'_>,
    save_contract: bool,
    cost_tracker: LimitedCostTracker
) -> Result<ContractAnalysis, (CheckError, LimitedCostTracker)>