PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Convert "missing await" warning to an error

Open akashlal opened this issue 8 years ago • 0 comments

In a P# program, the expectation is that async methods are always awaited. The compiler gives a warning by default. We should change it to be a compilation error by default. (For P# projects)

akashlal avatar May 09 '17 06:05 akashlal