Defend against potential null-deref in coverage reporting

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

A machine transitions to the null state for a brief time before it fails or halts.