PSharp
PSharp copied to clipboard
PSharpSyntax for async handlers
Support something line the following
state S {
async entry { return foo(); }
}
where foo
returns a Task
. This is slightly better in terms of performance than doing await foo()
. Currently, the VS compiler will complain that the async
entry method doesn't do an await
.