Perform the standard verification of CashAssembly evaluation results. This ensures that evaluations complete as expected: if an error occurs while computing an evaluation, script compilation should fail.
Three requirements are enforced:
This differs from the virtual machine's built-in
vm.verify in that it is
often more lenient, for example, evaluations can succeed with an non-truthy
value on top of the stack.
the final program state to verify
Generated using TypeDoc