diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-08-24 21:55:06 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-08-24 21:55:06 +0200 |
| commit | ff5c3f5a91e249694f3b76109027cf9d0c717a7c (patch) | |
| tree | 28cbf5a869066aae0f4915ad904a8d5b6d08bdc8 /src/Run | |
| parent | 66a8467a29a8850871606955211376178f691401 (diff) | |
Option to wait at the end of each test
Changelog: Add --wait option to wait at the end of each test
Diffstat (limited to 'src/Run')
| -rw-r--r-- | src/Run/Monad.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs index 037f585..9ec9065 100644 --- a/src/Run/Monad.hs +++ b/src/Run/Monad.hs @@ -54,6 +54,7 @@ data TestOptions = TestOptions , optGDB :: Bool , optForce :: Bool , optKeep :: Bool + , optWait :: Bool } defaultTestOptions :: TestOptions @@ -65,6 +66,7 @@ defaultTestOptions = TestOptions , optGDB = False , optForce = False , optKeep = False + , optWait = False } data Failed = Failed |