search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

Support for running async methods in a test entry point #430

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

Someone can now write test entry points as:

[Test]
public static async Task RunTestAsync(IMachineRuntime r)
{
  await SomeMethodAsync();
}

In addition to the original way:

[Test]
public static void RunTest(IMachineRuntime r)
{
}

Also various internal refactoring to better support this feature.