diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-24 21:59:35 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-24 21:59:35 +0200 |
| commit | a44406e96d17790a82708b36f8214b4b58d44ac6 (patch) | |
| tree | 4154270a5f3adcaa0526d359501ed47aff66c6fd /src/Run | |
| parent | cab137da80bb68ea824f7a42c2d15c6cccd56c71 (diff) | |
Move repeat and keep-going options to TestOptions
Diffstat (limited to 'src/Run')
| -rw-r--r-- | src/Run/Monad.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs index 536038a..efebe05 100644 --- a/src/Run/Monad.hs +++ b/src/Run/Monad.hs @@ -68,6 +68,8 @@ data TestOptions = TestOptions , optGDB :: Bool , optForce :: Bool , optKeep :: Bool + , optRepeat :: Int + , optKeepGoing :: Bool , optWait :: Bool } @@ -81,6 +83,8 @@ defaultTestOptions = TestOptions , optGDB = False , optForce = False , optKeep = False + , optRepeat = 1 + , optKeepGoing = False , optWait = False } |