Akash Lal

Support something line the following ``` state S { async entry { return foo(); } } ``` where `foo` returns a `Task`. This is slightly better in terms of performance...

Async OnException

1

Currently the OnException callback isn't async. It cannot be because it is called in a when clause, as the thrown exception is being propagated up the call stack. An alternative...

It'll be nice to provide a model of CancellationToken, along the lines of a SharedRegister.

The runtime should expose FairRandom API just like Machine.

Support the following: `on e goto S with foo;` and: `on e push S with foo;`

When the production runtime fails, any machine doing a Receive will hang forever. Can we cleanly terminate all machines, like we do in the test runtime?

Assume constraints on events, when they fail, should raise an exception that is caught by the tester and suppressed. The error should not propagate to the user. See [here](https://github.com/p-org/PSharp/blob/master/Source/Core/Runtime/Machines/Machine.cs#L617). We...

Code coverage results refer to the generated .psharp.cs file. It would be good to map the coverage back to the source .psharp file.

`PSharpTestser` currently loads `appSettings` from the `.config` file of the assembly under test. But other things (like assembly bindings) are not loaded.

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...