session_pop
Pop a context from the solver stack to backtrack to a previous state during SMT constraint solving.
Instructions
Pop a context from the solver stack (backtrack).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | No | Session identifier (default: 'default') | default |