PSharp
PSharp copied to clipboard
Convert "missing await" warning to an error
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)