Coverage reporting with multiple tests

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed akashlal closed 5 years ago

akashlal commented 5 years ago

Fix coverage reporting across multiple invocations of the testing engine. Added a test case to capture future regressions.