search

p-org / PSharp

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

Fix in the parallel tester #435

Closed pdeligia closed 5 years ago