Function veriwasm::checkers::locals_checker::check_locals [−][src]
pub fn check_locals(
result: AnalysisResult<LocalsLattice>,
irmap: &IRMap,
analyzer: &LocalsAnalyzer<'_>
) -> boolpub fn check_locals(
result: AnalysisResult<LocalsLattice>,
irmap: &IRMap,
analyzer: &LocalsAnalyzer<'_>
) -> bool