Eris vs QuickCheck
Eris
github.comQuickCheck
hackage.haskell.orgSide by side
| Figure | Eris | QuickCheck |
|---|---|---|
| Price from | — | Free |
| Free plan | — | Yes |
| Free trial | — | — |
| Open source | — | — |
| Linux | — | Yes |
| Self-hosted | Yes | — |
| Plans published | 0 | 1 |
| Spec score · Property-Based Testing Tools | 7.6 (#12) | 7.3 (#16) |
| Generators | Its documented generators cover scalar values, collections, composite values, and domain-based values such as names and dates. | QuickCheck provides combinators for defining test data generators. |
| License | The repository identifies the project as MIT licensed. | The package is licensed under BSD-3-Clause. |
| Purpose | Eris brings QuickCheck-style property-based testing to PHP and PHPUnit. | QuickCheck is a Haskell library for random testing of program properties by checking specifications against randomly generated cases. |
Plans
In their own words
QuickCheck
QuickCheck is a free Haskell library for testing program properties against randomly generated cases. Developers write specifications with QuickCheck combinators and can use combinators to define test-data generators and inspect generated-data distributions. It supports stateful testing, reproducible failures and shrinking failing cases. Monadic property testing is provided through the Test.QuickCheck.Monadic module. The package README describes adding QuickCheck to project dependencies for use in tests or a REPL. A companion package, quickcheck-instances, supplies instances for types in Haskell Platform packages, with additional dependencies. QuickCheck is licensed under BSD-3-Clause and lists dependencies including base, containers, random, splitmix, template-haskell and transformers. Hackage reports it tested with GHC versions from 8.10 up to but not including 9.15, as well as Hugs. A make-hugs script creates a Hugs-compatible version and may be useful for other non-GHC implementations. Hackage lists QuickCheck-2.18.0.0 as a downloadable Cabal source package. The listed package plan costs nothing.