Skip to content
This repository has been archived by the owner on Aug 18, 2020. It is now read-only.

Commit

Permalink
[CO-354] Use withStaticConfigurations in CommunicationSpec and VarSpec
Browse files Browse the repository at this point in the history
  • Loading branch information
intricate committed Sep 12, 2018
1 parent 25bdea4 commit 547e635
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions generator/test/Test/Pos/Binary/CommunicationSpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ import Pos.Util.CompileInfo (withCompileInfo)

import Test.Pos.Block.Logic.Mode (blockPropertyTestable)
import Test.Pos.Block.Logic.Util (EnableTxPayload (..), InplaceDB (..), bpGenBlock)
import Test.Pos.Configuration (HasStaticConfigurations, withProvidedMagicConfig)
import Test.Pos.Configuration (HasStaticConfigurations, withStaticConfigurations)
import Test.Pos.Crypto.Arbitrary (genProtocolMagicUniformWithRNM)

-- |
Expand Down Expand Up @@ -84,7 +84,7 @@ runWithMagic rnm = replicateM_ testMultiple $
specBody pm

specBody :: ProtocolMagic -> Spec
specBody pm = withProvidedMagicConfig pm $ withCompileInfo def $
specBody pm = withStaticConfigurations $ \_ -> withCompileInfo def $
describe "Pos.Binary.Communication" $ do
describe "serializeMsgSerializedBlock" (serializeMsgSerializedBlockSpec pm)
describe "decode is left inverse of serializeMsgSerializedBlock" (deserializeSerilizedMsgSerializedBlockSpec pm)
4 changes: 2 additions & 2 deletions generator/test/Test/Pos/Block/Logic/VarSpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ import Test.Pos.Block.Logic.Util (EnableTxPayload (..), InplaceDB (..)
bpGenBlocks, bpGoToArbitraryState, getAllSecrets,
satisfySlotCheck)
import Test.Pos.Block.Property (blockPropertySpec)
import Test.Pos.Configuration (HasStaticConfigurations, withProvidedMagicConfig)
import Test.Pos.Configuration (HasStaticConfigurations, withStaticConfigurations)
import Test.Pos.Crypto.Arbitrary (genProtocolMagicUniformWithRNM)
import Test.Pos.Util.QuickCheck.Property (splitIntoChunks, stopProperty)

Expand All @@ -73,7 +73,7 @@ runWithMagic rnm = replicateM_ testMultiple $
specBody pm

specBody :: ProtocolMagic -> Spec
specBody pm = withProvidedMagicConfig pm $
specBody pm = withStaticConfigurations $ \_ ->
describe "Block.Logic.VAR" $ modifyMaxSuccess (min 4) $ do
describe "verifyBlocksPrefix" (verifyBlocksPrefixSpec pm)
describe "verifyAndApplyBlocks" (verifyAndApplyBlocksSpec pm)
Expand Down

0 comments on commit 547e635

Please sign in to comment.