cvs commit: ports/devel Makefile ports/devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr pkg-plist

Gabor Pali pgj at
Sat Mar 14 08:19:35 PDT 2009

pgj         2009-03-14 15:19:34 UTC

  FreeBSD ports repository (doc committer)

  Modified files:
    devel                Makefile 
  Added files:
    devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr 
  Lazy SmallCheck is a library for exhaustive, demand-driven testing of
  Haskell programs.  It is based on the idea that if a property holds for
  a partially-defined input then it must also hold for all fully-defined
  refinements of the that input.  Compared to `eager' input generation as
  in SmallCheck, Lazy SmallCheck may require significantly fewer
  test-cases to verify a property for all inputs up to a given depth.
  Approved by:    gabor
  Revision  Changes    Path
  1.3404    +1 -0      ports/devel/Makefile
  1.1       +55 -0     ports/devel/hs-lazysmallcheck-ghc/Makefile (new)
  1.1       +3 -0      ports/devel/hs-lazysmallcheck-ghc/distinfo (new)
  1.1       +8 -0      ports/devel/hs-lazysmallcheck-ghc/pkg-descr (new)
  1.1       +14 -0     ports/devel/hs-lazysmallcheck-ghc/pkg-plist (new)

More information about the cvs-all mailing list