git.iko.soy/roboservant
on master help sign in
Booped up the test count for the FooSpec
73ebfe0Samuel Schlesinger
test/Spec.hs+1−1
compare with master
unifiedsplit
@@ -16,7 +16,7 @@ assert err False = ioError $ userError err
16main :: IO ()
16main :: IO ()
17main = do
17main = do
18 assert "should find an error in Foo" . not
18 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)])
20 -- The UnsafeIO checker does not actually really use the contextually aware stuff, though it
20 -- The UnsafeIO checker does not actually really use the contextually aware stuff, though it
21 -- could: it's mostly here to show how to test for concurrency problems.
21 -- could: it's mostly here to show how to test for concurrency problems.
22 unsafeServer <- UnsafeIO.makeServer
22 unsafeServer <- UnsafeIO.makeServer