Compile time generation of operation invariance tests for QuickCheck http://www.iai.uni-bonn.de/~jv/GV14.html

Latest on Hackage:

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Tobias Gödderz

This package generates operation invariance tests for QuickCheck from equation-based, QuickCheck-like properties at compile time. It implements the approach from the paper "Automatic Testing of Operation Invariance" presented at WFLP'14. The paper can be downloaded at http://www.iai.uni-bonn.de/~jv/GV14.html.

Depends on 4 packages:
Used by 1 package:
comments powered byDisqus