speculate-0.3.5: bench/qs2/arith.hs

import QuickSpec

main = quickSpec signature
  { maxTermSize = Just 7
  , maxTermDepth = Just 4
  , maxTests = Just 500
  , constants =
      [ constant "0" (0 :: Int)
      , constant "1" (1 :: Int)
      , constant "+" ((+) :: Int -> Int -> Int)
      , constant "*" ((*) :: Int -> Int -> Int)
      ]
  }