22 lines
429 B
Haskell
22 lines
429 B
Haskell
import Instructions
|
|
import Push
|
|
import PushTests
|
|
import State
|
|
import Test.QuickCheck
|
|
|
|
-- import Data.List
|
|
-- import Control.Lens
|
|
|
|
-- import Debug.Trace
|
|
|
|
pushTestArgs :: Args
|
|
pushTestArgs = stdArgs {maxSize = 10}
|
|
|
|
-- These two used for ghci testing
|
|
-- For example (in ghci): qcw prop_myTest
|
|
qcw :: (Testable a) => a -> IO ()
|
|
qcw = quickCheckWith pushTestArgs
|
|
|
|
vcw :: (Testable a) => a -> IO ()
|
|
vcw = verboseCheckWith pushTestArgs
|