@@ -30,7 +30,8 @@ import Test.SmallCheck
3030import Test.SmallCheck.Series
3131
3232-- processing a block of 16 chars is the largest I can do without taking too long to run the test.
33−max_bytes_size = 16
33+max_block_size :: Int
34+max_block_size = 16
3435
3536data InputEvent
3637 = Bytes String -- | input sequence encoded as a string. Regardless, the input is read a byte at a time.
@@ -84,7 +85,7 @@ instance Show (EventBlock event) where
8485
8586instance Monad m => Serial m (EventBlock event) where
8687 series = do
87− n :: Int <- localDepth (max 16) series -- what elements to select from the table
88+ n :: Int <- localDepth (max max_block_size) series -- what elements to select from the table
8889 return $ EventBlock $ \table -> concat (take n (permutations table))
8990
9091verify_simple_input_block_to_event :: Property IO