Allow support for custom ILogger during testing

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

Right now, the output of a custom logger is ignored in the textual trace dumped by the tester when a bug is found. Reported by @ankushdesai.

pdeligia commented 5 years ago

This is now supported in the latest release (https://github.com/p-org/PSharp/releases/tag/1.6.9), and this doc describes how the new logger works.