pqc 0.4.2 → 0.5
raw patch · 3 files changed
+17/−28 lines, 3 filesdep −ChasingBottomsdep −pqcdep ~base
Dependencies removed: ChasingBottoms, pqc
Dependency ranges changed: base
Files
- LICENSE +1/−1
- Test/QuickCheck/Parallel.hs +14/−8
- pqc.cabal +2/−19
LICENSE view
@@ -1,4 +1,4 @@-Copyright Don Stewart 2006-2007, shelarcy 2011.+Copyright Don Stewart 2006-2007, shelarcy 2011-2012. All rights reserved.
Test/QuickCheck/Parallel.hs view
@@ -2,7 +2,7 @@ ----------------------------------------------------------------------------- -- | -- Module : Test.QuickCheck.Parallel--- Copyright : (c) Don Stewart 2006-2007, shelarcy 2011+-- Copyright : (c) Don Stewart 2006-2007, shelarcy 2011-2012 -- License : BSD-style (see the file LICENSE) -- -- Maintainer : shelarcy <shelarcy@gmail.com>@@ -19,6 +19,9 @@ pRun', pRunAllProcessors, pRunWithNum,+ Name,+ Depth,+ Test, pDet, pNon ) where @@ -44,8 +47,11 @@ import System.IO (hFlush,stdout) import Text.Printf +-- | A name or description for test type Name = String+-- | Maximum number of successful test values type Depth = Int+-- | Test case for parallel batch driver type Test = (Name, Depth -> IO Result) -- | Deprecated: Backwards-compatible API@@ -83,8 +89,8 @@ = pRunInternal forkOnIO numCapabilities depth tests #elif __GLASGOW_HASKELL__ < 704 pRunAllProcessors depth tests = do- num <- getNumCapabilities- pRunInternal forkOn num depth tests+ caps <- getNumCapabilities+ pRunInternal forkOn caps depth tests #else pRunAllProcessors depth tests = do caps <- getNumCapabilities@@ -164,11 +170,11 @@ $ writeTVar ec' testFailure -- | Wrap a property, and run it on a deterministic set of data-pDet :: Testable a => a -> Int -> IO Result+pDet :: Testable a => a -> Depth -> IO Result pDet a n = mycheck Det (stdArgs { maxSuccess = n }) a -- | Wrap a property, and run it on a non-deterministic set of data-pNon :: Testable a => a -> Int -> IO Result+pNon :: Testable a => a -> Depth -> IO Result pNon a n = mycheck NonDet (stdArgs { maxSuccess = n }) a data Mode = Det | NonDet@@ -177,11 +183,11 @@ mycheck :: Testable a => Mode -> Args -> a -> IO Result mycheck Det config a = do- let rnd = mkStdGen 99 -- deterministic- mytests config rnd a+ let rnd = mkStdGen 99 -- deterministic+ mytests config rnd a mycheck NonDet config a = do- rnd <- newStdGen -- different each run+ rnd <- newStdGen -- different each run mytests config rnd a mytests :: Testable prop => Args -> StdGen -> prop -> IO Result
pqc.cabal view
@@ -1,12 +1,12 @@ name: pqc-version: 0.4.2+version: 0.5 description: Parallel batch driver for QuickCheck synopsis: Parallel batch driver for QuickCheck category: Testing license: BSD3 license-file: LICENSE Author: Don Stewart-Copyright: Don Stewart 2006-2007, shelarcy 2011+Copyright: Don Stewart 2006-2007, shelarcy 2011-2012 Maintainer: shelarcy <shelarcy@gmail.com> homepage: http://darcsden.com/shelarcy/pqc build-type: Simple@@ -27,20 +27,3 @@ default-language: Haskell2010 exposed-modules: Test.QuickCheck.Parallel ghc-options: -Wall -O2--Test-Suite Example- type: exitcode-stdio-1.0- main-is: Example.hs- buildable: False- hs-source-dirs: examples- default-language: Haskell2010- build-depends: base < 5, pqc- -- If you want to test code involving bottoms,- -- use ChasingBottoms package.- , ChasingBottoms- -- for GHC 7.4.1 with pRunAllProcessors- -- ghc-options: -threaded- -- for GHC 7.2.1 or higher- -- ghc-options: -threaded -with-rtsopts=-N- -- for GHC 7.0.x- ghc-options: -threaded -rtsopts -with-rtsopts=-N