Function getFinalExecutedVerifyIp

packages/cashscript/src/debugging.ts:356–369

(executedDebugSteps: AuthenticationProgramStateCommon[])

};

const getFinalExecutedVerifyIp = (executedDebugSteps: AuthenticationProgramStateCommon[]): number => {
  // Map every executed debug step to its corresponding instruction
  // (note that the last executed step(s) may not have a corresponding instruction and will be `undefined`)
  const executedInstructions = executedDebugSteps.map((step) => step.instructions[step.ip]);

  const finalExecutedDebugStepIndex = executedDebugSteps.length - 1;
  const cleanupSize = calculateCleanupSize(executedInstructions);
  const finalExecutedNonCleanupStep = executedDebugSteps[finalExecutedDebugStepIndex - cleanupSize];

  // The final verify in a function is dropped, so after cleanup, we get the final OP that was executed *before* the
  // final verify, so we need to add one to get the actual final verify instruction
  const finalExecutedVerifyIp = finalExecutedNonCleanupStep.ip + 1;
  return finalExecutedVerifyIp;
};

// After debugging, we want to verify the full transaction to ensure it is valid (this catches any errors that are not
// necessarily script errors)