[−][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)>