diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-12-12 19:55:34 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-12-12 19:55:34 +0100 |
| commit | 5b1b94aab78f210fd32f92f7d96857b448da73ca (patch) | |
| tree | 74d8e1c5399c95122e43b640ccf51dee4a9098e5 /src/GDB.hs-boot | |
| parent | 224366e2c668784952ab613c7640d7017ce60990 (diff) | |
Repeat option on command line
Changelog: Add --repeat option to run the tests multiple times
Diffstat (limited to 'src/GDB.hs-boot')
0 files changed, 0 insertions, 0 deletions