consensus-test: include near-future headers in ChainSync client test

This now exercises the real ChainSync InFutureCheck.
IntersectMBO · Nov 30, 2023 · a39cd95 · a39cd95
1 parent 2f90f2c
commit a39cd95
Show file tree

Hide file tree

Showing 3 changed files with 356 additions and 40 deletions.
diff --git a/ouroboros-consensus/ouroboros-consensus.cabal b/ouroboros-consensus/ouroboros-consensus.cabal
@@ -484,6 +484,7 @@ test-suite consensus-test
   build-depends:
     , async
     , base
+    , base-deriving-via
     , cardano-binary
     , cardano-crypto-class
     , cardano-slotting
@@ -505,6 +506,7 @@ test-suite consensus-test
     , ouroboros-network-protocols:{ouroboros-network-protocols, testlib}
     , QuickCheck
     , quickcheck-state-machine
+    , quiet
     , random
     , serialise
     , si-timers

diff --git a/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Time.hs b/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Util/Time.hs
@@ -1,11 +1,22 @@
 module Ouroboros.Consensus.Util.Time (
-    -- Conversions
-    nominalDelay
+    multipleNominalDelay
+  , nominalDelay
   , secondsToNominalDiffTime
   ) where
 
 import           Data.Time (DiffTime, NominalDiffTime)
 
+{-------------------------------------------------------------------------------
+  Operations
+-------------------------------------------------------------------------------}
+
+-- | Multiply a 'NominalDiffTime' by an integer
+--
+-- The right conversions to use are somewhat tricky. The key fact is that
+-- 'fromIntegral' interprets its argument as seconds.
+multipleNominalDelay :: Integral a => NominalDiffTime -> a -> NominalDiffTime
+multipleNominalDelay dur i = dur * fromIntegral i
+
 {-------------------------------------------------------------------------------
   Conversions
 -------------------------------------------------------------------------------}