PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

PSharpSyntax for async handlers

Open akashlal opened this issue 5 years ago • 0 comments

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.

akashlal avatar Aug 12 '19 04:08 akashlal