The quickspec package

[ Tags: bsd3, library, testing ] [ Propose Tags ]

QuickSpec automatically finds equational laws about your program.

Give it an API, i.e. a collection of functions, and it will spit out equations about those functions. For example, given reverse, ++ and [], QuickSpec finds six laws, which are exactly the ones you might write by hand:

xs++[] == xs
[]++xs == xs
(xs++ys)++zs == xs++(ys++zs)
reverse [] == []
reverse (reverse xs) == xs
reverse xs++reverse ys == reverse (ys++xs)

The laws that QuickSpec generates are not proved correct, but have passed at least 200 QuickCheck tests.

For more information, see the README file at https:/github.comnick8325quickspecblobmasterREADME.asciidoc.


Versions 0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6
Dependencies array, base (<5), containers, ghc-prim, QuickCheck (>=2.7), random, spoon (>=0.2), transformers [details]
License BSD3
Copyright 2009-2013 Nick Smallbone
Author Nick Smallbone
Category Testing
Home page
Source repository head: git clone git:// -b master
Uploaded Tue Aug 26 11:35:30 UTC 2014 by NickSmallbone
Distributions NixOS:0.9.6
Downloads 2129 total (195 in the last 30 days)
Rating 1.75 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees