@@ -2,7 +2,7 @@
22{-# LANGUAGE TypeApplications #-}
33
44import qualified Foo
5−import Hedgehog (Group (..), checkSequential)
5+import Hedgehog (Group (..), checkSequential, withTests)
66import qualified Roboservant as RS
77import qualified UnsafeIO
88
@@ -16,7 +16,7 @@ assert err False = ioError $ userError err
1616main :: IO ()
1717main = do
1818 assert "should find an error in Foo" . not
19− =<< checkSequential (Group "Foo" [("Foo", RS.prop_sequential @Foo.FooApi Foo.fooServer)])
19+ =<< checkSequential (Group "Foo" [("Foo", withTests 1000 $ RS.prop_sequential @Foo.FooApi Foo.fooServer)])
2020 -- The UnsafeIO checker does not actually really use the contextually aware stuff, though it
2121 -- could: it's mostly here to show how to test for concurrency problems.
2222 unsafeServer <- UnsafeIO.makeServer