@@ -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", withTests 1000 $ RS.prop_sequential @Foo.FooApi Foo.fooServer)])
19+ =<< checkSequential (Group "Foo" [("Foo", withTests 100000 $ 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