leancheck
smallcheck
Our great sponsors
leancheck | smallcheck | |
---|---|---|
5 | 3 | |
51 | 133 | |
- | - | |
8.6 | 4.2 | |
about 2 months ago | 10 months ago | |
Haskell | Haskell | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
leancheck
-
Help with stack ghci and LeanCheck
Hey, I am an IT student, and was given the task to install Leancheck. I managed to do that by following the instructions on: https://github.com/rudymatela/leancheck/blob/master/README.md Now it works if I do "ghci" and then "import Test.LeanCheck".
-
[ANN] LeanCheck v1.0.0 – Enumerative Property Testing
... and there's also the Extrapolate library that extends LeanCheck with counter-example generalization:
A new version of LeanCheck is out (v1.0.0). LeanCheck is a property testing library (like QuickCheck) that tests values enumeratively.
Installing. You can find LeanCheck on Hackage or GitHub. It is also tracked on Stackage. You can install it with:
You can take a look at the following section of LeanCheck's FAQ:
smallcheck
-
Generating Well-Typed Terms that are not "Useless" [pdf]
Using laziness to avoid generating parts of an expression until it's needed is a really nice idea. The LazySmallCheck package[1] took this approach, but was limited in the types of data it could produce (e.g. it couldn't generate functions). This was extended by LazySmallCheck2012[2], but that seems to be unmaintained and doesn't work with more recent GHC versions.
(Note that these are named in reference to SmallCheck[3], which takes the approach of enumerating concrete values in order of "size"; as an alternative to the more widely-used QuickCheck[4], which generates concrete values at random, and tries to "shrink" those which trigger a failure)
[1] https://hackage.haskell.org/package/lazysmallcheck
[2] https://github.com/UoYCS-plasma/LazySmallCheck2012
-
[ANN] LeanCheck v1.0.0 – Enumerative Property Testing
Could you compare with https://hackage.haskell.org/package/smallcheck in particular the smallcheck ability "to verify properties for all test cases up to some depth"?
What are some alternatives?
hedgehog - Release with confidence, state-of-the-art property testing for Haskell.
genvalidity - Validity and validity-based testing
benchpress - Micro-benchmarking of Haskell code with detailed execution time statistics.
smartcheck - A Smarter QuickCheck
monad-mock - A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
http-test - Tests for HTTP APIs
tasty-hedgehog - Tasty integration for the Hedgehog property testing library
fixie - 🚴 Opininated testing framework for mtl style (spies, stubs, and mocks)
quickcheck-state-machine - Test monadic programs using state machine based models
quicktest
smallcheck-series - Orphan Series/CoSeries instances for common types
tasty-groundhog-converters - Testing Harness for groundhog and groundhog converters.