Skip to content
This repository has been archived by the owner on Aug 24, 2021. It is now read-only.

0.5.0

Compare
Choose a tag to compare
@jcornaz jcornaz released this 29 Mar 16:39

Added

Reintroduce core core module that adds all transitive dependencies necessary for property based testing.

Fuzzer

A new module fuzzer has been added. It contains an experimental abstraction layer which is meant to be above the
Generator. (Note that fuzzer-api is transitively added by evaluator and core)

The (existing) Generator is responsible only for generating random value
(without even knowing if it is for testing purposes or not).

A Fuzzer is specialized for property based testing.
It contains a Generator, a Simplifier and a list of guarantees
that must be satisfied at least once during evaluation.

  • A new function forAny is provided to run test using Fuzzer instead of Generator in module evaluator.
    In case of property falsification, this function will simplify the input to the simplest input that still falsify the property.

  • Simplifier combination Simplifier.pair(Simplifier, Simplifier) and Simplier.triple(Simplifier, Simplifier, Simplifier)
    Are provided

  • Arbitrary an empty object type that can be used to find Fuzzer factories (regardless of the module they come from)

  • Arbitrary.pair and Arbitrary.triple to combine fuzzers.

Dependencies Updated

  • Kotlin (from 1.3.61 to 1.3.71)