diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-13 21:05:31 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-13 22:16:06 +0200 |
| commit | 000209c13299f1c046dc60e3649c17e9520680de (patch) | |
| tree | d0ef2db73b3ed95559cec6037348e03706b116f0 /src/Run.hs | |
| parent | ed4dcb61f8a13a3cbfee1c30ea2cb12b5fd3c1ec (diff) | |
Fail test and start gdb session immediately on process crash
Diffstat (limited to 'src/Run.hs')
0 files changed, 0 insertions, 0 deletions