Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: hacking
Fetching contributors…

Cannot retrieve contributors at this time

file 13 lines (9 sloc) 0.371 kb
1 2 3 4 5 6 7 8 9 10 11 12 13
module Main where

import Test.QuickCheck

import Scion.Inspect

check1000 :: Testable prop => String -> prop -> IO ()
check1000 s p = putStrLn ("> " ++ s) >> quickCheckWith stdArgs{ maxSuccess = 1000 } p

main = do
    putStrLn "================================================"
    putStrLn ">>> Running Test Suite"
    check1000 "prop_invCmpOverlap" prop_invCmpOverlap
Something went wrong with that request. Please try again.