server-test: prop_unidirectional_Sim use NonFailingBearerInfoScript

This simulation is not designed to handle errors.
IntersectMBO · Sep 23, 2021 · 136d687 · 136d687
1 parent 26606fc
commit 136d687
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs b/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs
@@ -818,8 +818,8 @@ unidirectionalExperiment timeouts snocket socket clientAndServerData = do
                 (property True)
                 $ zip rs (expectedResult clientAndServerData clientAndServerData)
 
-prop_unidirectional_Sim :: AbsBearerInfo -> ClientAndServerData Int -> Property
-prop_unidirectional_Sim absBi clientAndServerData =
+prop_unidirectional_Sim :: NonFailingBearerInfoScript -> ClientAndServerData Int -> Property
+prop_unidirectional_Sim (NonFailingBearerInfoScript script) clientAndServerData =
   simulatedPropertyWithTimeout 7200 $
     withSnocket nullTracer
                 (Script (toBearerInfo absBi :| [noAttenuation])) $ \snock ->