pub fn verify_program(functions: &[Function]) -> Vec<StackError>Expand description
Verify all functions in a slice. Returns one error per inconsistent merge point found.
pub fn verify_program(functions: &[Function]) -> Vec<StackError>Verify all functions in a slice. Returns one error per inconsistent merge point found.