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