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:
the evaluation may not produce an error
the resulting stack must contain exactly 1 item
the resulting execution stack must be empty (no missing OP_ENDIFs)
This differs from the virtual machine's built-in vm.verify in that it is
often more lenient, for example, evaluations can succeed with a non-truthy
value on top of the stack.
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:
errorOP_ENDIFs)This differs from the virtual machine's built-in
vm.verifyin that it is often more lenient, for example, evaluations can succeed with a non-truthy value on top of the stack.