lazysmallcheck-0.2: examples/test/TestCountdown1.hs

import Test.LazySmallCheck
import Countdown
import System

main = do [d] <- getArgs ; depthCheck (read d) prop_lemma3