slightly adjust weights of generators for app tests

KtorZ · KtorZ · commit 9f3b669ffb1d · 2025-04-16T14:09:57.000+02:00
The 'loseConnection' case is only needed _sometimes_, to simulate transient failures. Having is trigger on almost every property run is counterproductive and make the test horribly slow.
diff --git a/test/Test/Kupo/AppSpec.hs b/test/Test/Kupo/AppSpec.hs
@@ -644,28 +644,28 @@ generator inputManagement model =
               )
             ]
         blocks@(tip:_) -> Just $ frequency
-            [ (3, pure GetMostRecentCheckpoint)
-            , (3, GetPreviousCheckpoint <$> oneof
+            [ (10, pure GetMostRecentCheckpoint)
+            , (10, GetPreviousCheckpoint <$> oneof
                 [ getPointSlotNo <$> genNonGenesisPoint
                 , elements (getPointSlotNo . blockPoint <$> blocks)
                 ]
               )
-            , (5, pure GetUtxo)
-            , (5, GetDatumByHash <$> genOrSelectDatum inputManagement model)
-            , (3, GetScriptByHash <$> genOrSelectScript model)
-            , (3, GetMetadataBySlotNo . SlotNo <$> (elements [0 .. unSlotNo (getPointSlotNo (blockPoint tip))]))
-            , (15, DoRollForward
+            , (20, pure GetUtxo)
+            , (20, GetDatumByHash <$> genOrSelectDatum inputManagement model)
+            , (10, GetScriptByHash <$> genOrSelectScript model)
+            , (10, GetMetadataBySlotNo . SlotNo <$> (elements [0 .. unSlotNo (getPointSlotNo (blockPoint tip))]))
+            , (60, DoRollForward
                 <$> genContinuingTip (networkTip model) (blockPoint tip)
                 <*> genContinuingBlock
                         (unspentOutputReferences model)
                         (mempool model)
                         (blockPoint tip)
               )
-            , (3, DoRollBackward
+            , (10, DoRollBackward
                 <$> genContinuingTip (networkTip model) (blockPoint tip)
                 <*> selectPastPoint (blockPoint <$> blocks)
               )
-            , (1, pure Pause)
+            , (5, pure Pause)
             , (1, pure LoseConnection)
             ]
 

Original file line number	Diff line number	Diff line change
`@@ -644,28 +644,28 @@ generator inputManagement model =`
`644`	`644`	`)`
`645`	`645`	`]`
`646`	`646`	`blocks@(tip:_) -> Just $ frequency`
`647`		`- [ (3, pure GetMostRecentCheckpoint)`
`648`		`- , (3, GetPreviousCheckpoint <$> oneof`
	`647`	`+ [ (10, pure GetMostRecentCheckpoint)`
	`648`	`+ , (10, GetPreviousCheckpoint <$> oneof`
`649`	`649`	`[ getPointSlotNo <$> genNonGenesisPoint`
`650`	`650`	`, elements (getPointSlotNo . blockPoint <$> blocks)`
`651`	`651`	`]`
`652`	`652`	`)`
`653`		`- , (5, pure GetUtxo)`
`654`		`- , (5, GetDatumByHash <$> genOrSelectDatum inputManagement model)`
`655`		`- , (3, GetScriptByHash <$> genOrSelectScript model)`
`656`		`- , (3, GetMetadataBySlotNo . SlotNo <$> (elements [0 .. unSlotNo (getPointSlotNo (blockPoint tip))]))`
`657`		`- , (15, DoRollForward`
	`653`	`+ , (20, pure GetUtxo)`
	`654`	`+ , (20, GetDatumByHash <$> genOrSelectDatum inputManagement model)`
	`655`	`+ , (10, GetScriptByHash <$> genOrSelectScript model)`
	`656`	`+ , (10, GetMetadataBySlotNo . SlotNo <$> (elements [0 .. unSlotNo (getPointSlotNo (blockPoint tip))]))`
	`657`	`+ , (60, DoRollForward`
`658`	`658`	`<$> genContinuingTip (networkTip model) (blockPoint tip)`
`659`	`659`	`<*> genContinuingBlock`
`660`	`660`	`(unspentOutputReferences model)`
`661`	`661`	`(mempool model)`
`662`	`662`	`(blockPoint tip)`
`663`	`663`	`)`
`664`		`- , (3, DoRollBackward`
	`664`	`+ , (10, DoRollBackward`
`665`	`665`	`<$> genContinuingTip (networkTip model) (blockPoint tip)`
`666`	`666`	`<*> selectPastPoint (blockPoint <$> blocks)`
`667`	`667`	`)`
`668`		`- , (1, pure Pause)`
	`668`	`+ , (5, pure Pause)`
`669`	`669`	`, (1, pure LoseConnection)`
`670`	`670`	`]`
`671`	`671`