The latest version of extrapolate is 0.4.6-0.
extrapolate
Version 0.3.3 revision 0 uploaded by rudymatela.
Package meta
- Synopsis
- generalize counter-examples of test properties
- Description
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.
- Author
- Rudy Matela
- Bug reports
- n/a
- Category
- Testing
- Copyright
- n/a
- Homepage
- https://github.com/rudymatela/extrapolate#readme
- Maintainer
- Rudy Matela <rudy@matela.com.br>
- Package URL
- n/a
- Stability
- n/a