search

p-org / PSharp

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

Fixed race condition in periodic timers #438

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

Also added new tests that expose this race condition.