Add a ".crash" file when a crash occurs

AdaCore / adareducer

GNU General Public License v3.0

13 stars 2 forks source link

Add a ".crash" file when a crash occurs #10

Closed setton closed 2 years ago

setton commented 2 years ago

When a crash occurs as strategies are being applied, dump the current text of the buffer to a ".crash" file, to help with the post-mortem investigation.