From 06df252ce401f7701f1d830d1867fedda1b36d05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 21 Jun 2025 13:58:46 +0200 Subject: Multiply-timeout command Changelog: Added `multiply_timeout` command --- src/Run/Monad.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Run') 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) } -- cgit v1.2.3