@@ -45,16 +45,14 @@ server introduce = introduce :<|> combine :<|> eliminate
4545 | otherwise = pure ()
4646```
4747
48−Our tests would usually be in a separate file:
48+In the test file, we first define the configuration:
4949
5050```haskell
51−
52−
5351defaultConfig :: Config
5452defaultConfig = Config {
5553 -- you can pass extra values in using the seed argument. This can be useful
5654 -- for things that might not be produceable within the api, like auth tokens.
57− seed = []
55+ seed = [hashedDyn "blah"]
5856 , maxRuntime = 0.5
5957 -- if we get to 1000 interactions with the api, call it quits.
6058 , maxReps = 1000
@@ -65,6 +63,11 @@ defaultConfig = Config {
6563 , coverageThreshold = 0
6664 }
6765
66+```
67+
68+and the tests: the faulty server should fail and the good server should pass.
69+
70+```haskell
6871spec = describe "example" $ do
6972 it "good server should not fail" $ do
7073 fuzz @Api goodServer defaultConfig { coverageThreshold = 0.99 } (pure ())
@@ -91,14 +94,13 @@ build it up from components.
9194```haskell
9295deriving via (Compound B) instance BuildFrom B
9396deriving via (Atom B) instance Breakdown B
94−
95−
96−main = hspec spec
9797```
9898
99−finally some uninteresting utilities
99+finally some uninteresting utilities and the entrypoint
100100
101101```haskell
102+main = hspec spec
103+
102104serverFailure :: Maybe Report -> Bool
103105serverFailure c = case c of
104106 Just Report{..} ->