diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 13:58:46 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 15:59:51 +0200 |
| commit | 06df252ce401f7701f1d830d1867fedda1b36d05 (patch) | |
| tree | 5e5a044a71a6fa8f151ce581afa1aae34cbaf4e9 /src/Run/Monad.hs | |
| parent | b7eb345a88df9ee87080fe776722f12e911b773f (diff) | |
Multiply-timeout command
Changelog: Added `multiply_timeout` command
Diffstat (limited to 'src/Run/Monad.hs')
| -rw-r--r-- | src/Run/Monad.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs index aeab7e4..f681e99 100644 --- a/src/Run/Monad.hs +++ b/src/Run/Monad.hs @@ -43,6 +43,7 @@ data TestEnv = TestEnv , teOptions :: TestOptions , teNextObjId :: MVar Int , teProcesses :: MVar [ Process ] + , teTimeout :: MVar Scientific , teGDB :: Maybe (MVar GDB) } |