PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Machine instantiation fials when it has an Initialize method

Open akashlal opened this issue 7 years ago • 0 comments

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.

akashlal avatar Oct 02 '18 03:10 akashlal