PSharp
PSharp copied to clipboard
Remove overloads of `CreateMachine`
We should merge all overloads of CreateMachine, CreateMachineAndExecute and RemoteCreateMachine into a single procedure each that expects all arguments, with appropriate defaults. It makes our life easy with maintaining the code. The user will have to qualify the default arguments when the compiler finds it to be ambiguous (although because all argument types are quite distinct, the compiler should not be confused, but I'm unsure how the inference works).
Does this include deprecating the older forms? See also #244 regarding updates to these functions (replacing the Type arg with <T>)