Skip to content

Commit

Permalink
Rename BlockFetch tests that only test BulkSync mode
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Aug 2, 2024
1 parent 08e1e42 commit 440def5
Showing 1 changed file with 9 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -64,11 +64,11 @@ import Ouroboros.Network.BlockFetch.Decision.Trace (TraceDecisionEvent)

tests :: TestTree
tests = testGroup "BlockFetch"
[ testProperty "static chains without overlap"
prop_blockFetchStaticNoOverlap
[ testProperty "BulkSync static chains without overlap"
prop_blockFetchBulkSyncStaticNoOverlap

, testProperty "static chains with overlap"
prop_blockFetchStaticWithOverlap
, testProperty "BulkSync static chains with overlap"
prop_blockFetchBulkSyncStaticWithOverlap

, testCaseSteps "bracketSyncWithFetchClient"
unit_bracketSyncWithFetchClient
Expand Down Expand Up @@ -105,8 +105,8 @@ tests = testGroup "BlockFetch"
-- * 'tracePropertyClientStateSanity'
-- * 'tracePropertyInFlight'
--
prop_blockFetchStaticNoOverlap :: TestChainFork -> Property
prop_blockFetchStaticNoOverlap (TestChainFork common fork1 fork2) =
prop_blockFetchBulkSyncStaticNoOverlap :: TestChainFork -> Property
prop_blockFetchBulkSyncStaticNoOverlap (TestChainFork common fork1 fork2) =
let trace = selectTraceEventsDynamic (runSimTrace simulation)

in counterexample ("\nTrace:\n" ++ unlines (map show trace)) $
Expand Down Expand Up @@ -160,10 +160,10 @@ prop_blockFetchStaticNoOverlap (TestChainFork common fork1 fork2) =
-- * 'tracePropertyClientStateSanity'
-- * 'tracePropertyInFlight'
--
-- TODO: 'prop_blockFetchStaticWithOverlap' fails if we introduce delays. issue #2622
-- TODO: 'prop_blockFetchBulkSyncStaticWithOverlap' fails if we introduce delays. issue #2622
--
prop_blockFetchStaticWithOverlap :: TestChainFork -> Property
prop_blockFetchStaticWithOverlap (TestChainFork _common fork1 fork2) =
prop_blockFetchBulkSyncStaticWithOverlap :: TestChainFork -> Property
prop_blockFetchBulkSyncStaticWithOverlap (TestChainFork _common fork1 fork2) =
let trace = selectTraceEventsDynamic (runSimTrace simulation)

in counterexample ("\nTrace:\n" ++ unlines (map show trace)) $
Expand Down

0 comments on commit 440def5

Please sign in to comment.