pet_until
Execute a program until a specified address or symbol is reached a given number of times, then halt. Supports deterministic frame stepping on loop labels.
Instructions
Run until an address/symbol is executed count times; machine stays stopped there. count>1 = deterministic frame stepping on a loop label. On timeout: raises with the machine LEFT RUNNING and the checkpoint removed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ref | Yes | ||
| count | No | ||
| session | No | ||
| timeout | No |