Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libghc-lazysmallcheck-prof

A library for demand-driven testing of Haskell programs; profiling libraries

Variants:
This package provides a library for the Haskell programming language, compiled for profiling.

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.

Homepage:
Package version:0.6-1+b1
Architecture:mips
Distribution:Debian
Filename:libghc-lazysmallcheck-prof_0.6-1+b1_mips.deb

/usr/share/doc/libghc-lazysmallcheck-prof/changelog.Debian.gz

haskell-lazysmallcheck (0.6-1+b1) sid; urgency=low

  * Binary-only non-maintainer upload for mips; no source changes.
  * Rebuild against ghc 7.4.1-2

 -- mips Build Daemon (corelli) <buildd_mips-corelli2@buildd.debian.org>  Wed, 14 Mar 2012 01:25:58 +0000

haskell-lazysmallcheck (0.6-1) unstable; urgency=low

  * New upstream release

 -- Joachim Breitner <nomeata@debian.org>  Sat, 04 Feb 2012 1
more»

/usr/share/doc/libghc-lazysmallcheck-prof/copyright

This package was debianised by Kari Pahula <kaol@debian.org> on
Fri, 10 Jul 2009. All of the Debian packaging scripts are released
into the public domain.

It was downloaded from
http://hackage.haskell.org/package/lazysmallcheck

Upstream Author: Matthew Naylor

Copyright Matthew Naylor 2006-2008.

Redistribution and use in source and binary forms, with or without
modification, are permitted provi
more»

Browse inside libghc-lazysmallcheck-prof_0.6-1+b1_mips.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libghc-lazysmallcheck-prof_0.6-1+b1_mips.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com