Long simulations. Q: If I have a simulation that is supposed to run infinitely, deadlock-free, with the cycle command how do I check it non-interactively? (By now you've figured out that in interactive mode, you can interrupt the simulation with Ctrl-C to give you back the command prompt, or equivalently, send the process a SIGINT signal.)
A: Instead of cycle, use advance or step or step-event to run for a finite time. Upon completion of the command, however, one typically wants to verify that the system did not deadlock. assert-queue will error out if the event queue is empty.
Checkpointing.
Q: