extrapolate: generalize counter-examples of test properties
Extrapolate is a tool able to provide generalized counter-examples of test properties where irrelevant sub-expressions are replaces with variables.
For the incorrect property \xs -> nub xs == (xs::[Int])
:
[0,0]
is a counter-example;x:x:_
is a generalized counter-example.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- extrapolate-0.4.6.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.1, 0.1.0, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.4.0, 0.4.1, 0.4.2, 0.4.4, 0.4.6 |
---|---|
Dependencies | base (>=4 && <5), express (>=0.1.6), leancheck (>=0.9.4), speculate (>=0.4.6), template-haskell [details] |
Tested with | ghc ==9.0, ghc ==8.10, ghc ==8.8, ghc ==8.6, ghc ==8.4, ghc ==8.2, ghc ==8.0, ghc ==7.10, ghc ==7.8 |
License | BSD-3-Clause |
Author | Rudy Matela |
Maintainer | Rudy Matela <rudy@matela.com.br> |
Category | Testing |
Home page | https://github.com/rudymatela/extrapolate#readme |
Source repo | head: git clone https://github.com/rudymatela/extrapolate this: git clone https://github.com/rudymatela/extrapolate(tag v0.4.6) |
Uploaded | by rudymatela at 2021-06-15T22:04:50Z |
Distributions | LTSHaskell:0.4.6, NixOS:0.4.6, Stackage:0.4.6 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 9199 total (44 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2021-06-15 [all 1 reports] |