Fixed a bug where explicitly halting a machine, while it has active timers would throw an exception, as it was trying to halt all active timers, which would end up modifying the collection while removing them. Added a new unit test to catch this case.
Also removed a nondeterministic test from the old deprecated timer API.
Fixed a bug where explicitly halting a machine, while it has active timers would throw an exception, as it was trying to halt all active timers, which would end up modifying the collection while removing them. Added a new unit test to catch this case.
Also removed a nondeterministic test from the old deprecated timer API.