Function clarity_repl::analysis::run_analysis
source · [−]pub fn run_analysis(
contract_analysis: &mut ContractAnalysis,
analysis_db: &mut AnalysisDatabase<'_>,
annotations: &Vec<Annotation>,
settings: &Settings
) -> AnalysisResult