Add unit tests for activity coverage

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Add unit tests for activity coverage #440

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

We should be able to setup some unit tests to check activity coverage regressions. We could for example do it by running a simple (deterministic) program and then asserting the output of the CoverageInfo is the expected.

pdeligia commented 5 years ago

Already done.