@@ -110,11 +110,15 @@ serversEqual api burl1 burl2 args req = do
110110-- /Since 0.0.0.0/
111111serverSatisfies :: (HasGenRequest a) =>
112112 Proxy a -> BaseUrl -> Args -> Predicates -> Expectation
113−serverSatisfies api burl args preds = do
113+serverSatisfies api = serverSatisfiesMgr api defManager
114+
115+serverSatisfiesMgr :: (HasGenRequest a) =>
116+ Proxy a -> C.Manager -> BaseUrl -> Args -> Predicates -> Expectation
117+serverSatisfiesMgr api manager burl args preds = do
114118 let reqs = ($ burl) <$> runGenRequest api
115119 deetsMVar <- newMVar $ error "should not be called"
116120 r <- quickCheckWithResult args { chatty = False } $ monadicIO $ forAllM reqs $ \req -> do
117− v <- run $ finishPredicates preds (noCheckStatus req) defManager
121+ v <- run $ finishPredicates preds (noCheckStatus req) manager
118122 run $ modifyMVar_ deetsMVar $ const $ return v
119123 case v of
120124 Just _ -> assert False
@@ -127,13 +131,16 @@ serverSatisfies api burl args preds = do
127131 NoExpectedFailure {} -> expectationFailure $ "No expected failure"
128132 InsufficientCoverage {} -> expectationFailure $ "Insufficient coverage"
129133
130−
131134serverDoesntSatisfy :: (HasGenRequest a) =>
132135 Proxy a -> BaseUrl -> Args -> Predicates -> Expectation
133−serverDoesntSatisfy api burl args preds = do
136+serverDoesntSatisfy api = serverDoesntSatisfyMgr api defManager
137+
138+serverDoesntSatisfyMgr :: (HasGenRequest a) =>
139+ Proxy a -> C.Manager -> BaseUrl -> Args -> Predicates -> Expectation
140+serverDoesntSatisfyMgr api manager burl args preds = do
134141 let reqs = ($ burl) <$> runGenRequest api
135142 r <- quickCheckWithResult args $ monadicIO $ forAllM reqs $ \req -> do
136− v <- run $ finishPredicates preds (noCheckStatus req) defManager
143+ v <- run $ finishPredicates preds (noCheckStatus req) manager
137144 assert $ not $ null v
138145 case r of
139146 Success {} -> return ()