Exposed new send event APIs that receive an operation group id

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

Also exposed Stop in the IMachineRuntime interface, and bumped version to 1.6.1.