-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Description
If the machine halted in an end state and you try to rerun it by pressing run, the "abort run" button appears ... which suggests the machine is running. but it isn't. if you press run again, you get the note about "already running". i think you should not be able to run the machine if you are in an end state ...
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels