Fixed a race condition and added new unit tests for the redesigned queue - Githubissues

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Fixed a race condition and added new unit tests for the redesigned queue #429

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

Also some minor queue-related refactoring.