The fails builtin runs its argument action in a copy of the interpreter (TopLevel) state, and discards the state produced by that run.
It does not, however, checkpoint and restore state we're keeping in IO, which includes the saw-core state.
This seems like it's bound to result in problems at some point, like other things in SAWScript that make the same assumptions.
The
failsbuiltin runs its argument action in a copy of the interpreter (TopLevel) state, and discards the state produced by that run.It does not, however, checkpoint and restore state we're keeping in IO, which includes the saw-core state.
This seems like it's bound to result in problems at some point, like other things in SAWScript that make the same assumptions.