search

p-org / PSharp

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

Support for internal async test harness and async tests #432

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

And various related refactoring and fixes.