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 ...
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 ...