cairo_lang_lowering::optimizations::validate

Function validate

Source 
pub fn validate(lowered: &FlatLowered) -> Result<(), ValidationError>
Expand description

Validates that the lowering structure is valid.

Currently only does basic SSA validations.