PSharp
PSharp copied to clipboard
Machine instantiation fials when it has an Initialize method
When a user machine class declares an Initialize method with the same prototype as the Initialize method of the Machine class, then machine instantiation fails. I am yet to contruct a small repro.