Skip to content

StepCompleted semantics

The code generator yields StepCompleted at the end of the execution history, while the interpreter yields StepCompleted at the end of each state.