Suspend

LP Suspend

During an optimistic simulation, it is possible for an LP to enter an erroneous state. Perhaps it receives message B before the expected message A. In these scenarios, it is appropriate to suspend LP message handling, until the event causing the error state is rolled back.

Example Usage

See the Suspend-test model here.

Implementation Discussions

See the original feature request here and the pull request here.