File tree 4 files changed +2
-8
lines changed
ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/GSM
4 files changed +2
-8
lines changed Original file line number Diff line number Diff line change 15
15
16
16
module Test.Consensus.GSM.Common (module Test.Consensus.GSM.Common ) where
17
17
18
+ import Cardano.Network.Types (LedgerStateJudgement (.. ))
18
19
import Control.Monad (replicateM_ )
19
20
import Control.Monad.Class.MonadFork (MonadFork , yield )
20
21
import qualified Control.Monad.Class.MonadTime.SI as SI
@@ -23,8 +24,6 @@ import Data.Time (diffTimeToPicoseconds)
23
24
import qualified Data.TreeDiff as TD
24
25
import GHC.Generics (Generic )
25
26
import qualified Ouroboros.Consensus.Node.GSM as GSM
26
- import Ouroboros.Network.PeerSelection.LedgerPeers.Type
27
- (LedgerStateJudgement (.. ))
28
27
import qualified Test.QuickCheck as QC
29
28
import Test.QuickCheck (elements , shrink )
30
29
import Test.Util.Orphans.ToExpr ()
Original file line number Diff line number Diff line change 27
27
-- see 'prop_sequential_iosim' for the construction and reification of the configuration.
28
28
module Test.Consensus.GSM.QD (tests ) where
29
29
30
+ import Cardano.Network.Types (LedgerStateJudgement (.. ))
30
31
import Control.Concurrent.Class.MonadSTM.Strict.TVar.Checked
31
32
import Control.Exception (SomeException (.. ))
32
33
import Control.Monad.Class.MonadAsync (async , poll ,
@@ -47,8 +48,6 @@ import Data.Typeable (Typeable)
47
48
import GHC.Generics (Generic )
48
49
import qualified Ouroboros.Consensus.Node.GSM as GSM
49
50
import Ouroboros.Consensus.Util.IOLike (IOLike )
50
- import Ouroboros.Network.PeerSelection.LedgerPeers.Type
51
- (LedgerStateJudgement (.. ))
52
51
import Test.Consensus.GSM.Common
53
52
import qualified Test.QuickCheck as QC
54
53
import Test.QuickCheck.Gen.Unsafe (Capture (Capture ), capture )
Original file line number Diff line number Diff line change @@ -18,8 +18,6 @@ import qualified Data.Map.Strict as Map
18
18
import qualified Data.Set as Set
19
19
import qualified Ouroboros.Consensus.Node.GSM as GSM
20
20
import Ouroboros.Consensus.Util.IOLike (IOLike )
21
- import Ouroboros.Network.PeerSelection.LedgerPeers.Type
22
- (LedgerStateJudgement (.. ))
23
21
import Test.Consensus.GSM.Common
24
22
import Test.Consensus.GSM.QSM.Model
25
23
import Test.Consensus.IOSimQSM.Test.StateMachine.Sequential
Original file line number Diff line number Diff line change @@ -20,8 +20,6 @@ import qualified Data.Set as Set
20
20
import qualified Data.TreeDiff as TD
21
21
import GHC.Generics (Generic , Generic1 )
22
22
import qualified Ouroboros.Consensus.Node.GSM as GSM
23
- import Ouroboros.Network.PeerSelection.LedgerPeers.Type
24
- (LedgerStateJudgement (.. ))
25
23
import Test.Consensus.GSM.Common
26
24
import qualified Test.QuickCheck as QC
27
25
import Test.QuickCheck (choose , elements , shrink )
You can’t perform that action at this time.
0 commit comments