From 7cebff0d30b628e4a7d32feff83a767c126e32e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 8 Feb 2025 15:51:42 +0100 Subject: Time information in output Changelog: Time information in output --- src/Run.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Run.hs') diff --git a/src/Run.hs b/src/Run.hs index 001d887..330d147 100644 --- a/src/Run.hs +++ b/src/Run.hs @@ -88,6 +88,7 @@ runTest out opts test variables = do withVarExprList rest act withVarExprList [] act = act + resetOutputTime out res <- runExceptT $ flip runReaderT (tenv, tstate) $ fromTestRun $ do withVarExprList variables $ do withInternet $ \_ -> do -- cgit v1.2.3