@@ -30,7 +30,8 @@ import Test.SmallCheck
30import Test.SmallCheck.Series
30import Test.SmallCheck.Series
32-- processing a block of 16 chars is the largest I can do without taking too long to run the test.
32-- 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
35data InputEvent
36data InputEvent
36 = Bytes String -- | input sequence encoded as a string. Regardless, the input is read a byte at a time.
37 = 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
85instance Monad m => Serial m (EventBlock event) where
86instance Monad m => Serial m (EventBlock event) where
86 series = do
87 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
88 return $ EventBlock $ \table -> concat (take n (permutations table))
89 return $ EventBlock $ \table -> concat (take n (permutations table))
90verify_simple_input_block_to_event :: Property IO
91verify_simple_input_block_to_event :: Property IO