Various bug fixes in the testing runtime

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

Fixes a bug in code and event coverage, as well as a bug related to "uncontrolled tasks" in the systematic testing runtime.