pub fn verify_function(
program: &Program,
id: FunctionId,
code: &[EncodedInst],
) -> Vec<Fault>Expand description
Checks one run of encoded instructions against the frame it runs in.
The entry point that takes bytes nothing produced: code is read as the
authority on what will execute, and program.function(id) supplies the
frame, the parameters and the answer it has to agree with.