A package for simple property based testing in julia.
MIT License
Bot releases are hidden (Show)
Full Changelog: https://github.com/Seelengrab/PropCheck.jl/compare/v0.10.0...v0.10.1
iposint
and inegint
iposint
and inegint
Published by Seelengrab about 1 year ago
Full Changelog: https://github.com/Seelengrab/PropCheck.jl/compare/v0.9.2...v0.10.0
This is a technically breaking release, but I don't expect any user code to actually break due to this - any third party usage of the AbstractIntegrated
interface would have had to either implement freeze
already or match the existing (implicit) interface of Integrated
. The way to fix any potential breakage relating to this is to decide which of FiniteIntegrated
or InfiniteIntegrated
should be subtyped, and implement the requirements accordingly. Existing types that followed what AbstractIntegrated
did should likely implement InfiniteIntegrated
.
AbstractIntegrated
, InfiniteIntegrated
and FiniteIntegrated
. As their name suggests, these two represent integrated shrinkers that continously generate new objects, and integrated shrinkers that stop generating after a finite amount of calls to generate
. The existing types generally subtype InfiniteIntegrated
. The existing combinators, like map
, filter
, interleave
, vector
, tuple
and array
support these.FiniteIntegrated
, namely IntegratedLengthBounded
, IntegratedOnce
, IntegratedFiniteIterator
.IntegratedChain
.ifloat
, ifloatinf
, ifloatnan
, ifloatinfnan
, as well as two new integrated shrinkers for signed integers, inegint
and iposint
.The first two points are implementing #10.
check
incorrectly only tested the first element that was generated by stateful integrated shrinkers.map
is now type stable, as long as the given function & the types produced by the integrated shrinker are type stable. This relies on type inference and is not guaranteed, but should not lead to errors if it fails.UniqueIterator
(and by extension, anything using it such as Integrated
) now correctly treat NaN
s with different bitpatterns as distinct values...as well as more tests & more docs!
Published by Seelengrab over 1 year ago
Full Changelog: https://github.com/Seelengrab/PropCheck.jl/compare/v0.9.1...v0.9.2
Published by Seelengrab over 1 year ago
Initial release of PropCheck.jl 🎉