-- TODO
-- test number of trades generated
-- test trades are not generated with 0 qty
-- test residual is added to book for limit orders
-- test that the book remains well formed when processing orders

main :: IO ()
main = do
  let testArgs = stdArgs { maxSuccess = 1000}
  quickCheckWith testArgs propBuySizeNotExceeded
  quickCheckWith testArgs propSellSizeNotExceeded
  quickCheckWith testArgs propBuyQtyMatch
  quickCheckWith testArgs propSellQtyMatch
  quickCheckWith testArgs propBookWellFormed
main :: IO ()
main = do
  let testArgs = stdArgs { maxSuccess = 1000}
  quickCheckWith testArgs propBuySizeNotExceeded
  quickCheckWith testArgs propSellSizeNotExceeded
  quickCheckWith testArgs propBuyQtyMatch
  quickCheckWith testArgs propSellQtyMatch
  quickCheckWith testArgs propBookWellFormed
main = do
  let testArgs = stdArgs { maxSuccess = 1000}
  quickCheckWith testArgs propBuySizeNotExceeded
  quickCheckWith testArgs propSellSizeNotExceeded
  quickCheckWith testArgs propBuyQtyMatch
  quickCheckWith testArgs propSellQtyMatch
  quickCheckWith testArgs propBookWellFormed