Akashl/monitor state inheritence wildcard

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Akashl/monitor state inheritence wildcard #446

Closed akashlal closed 5 years ago

akashlal commented 5 years ago

This is based on a request from AzMove team. It adds support for state inheritance in Monitors, just like it exists for Machines. It also adds support for WildCardEvent in Monitors.