kwik v0.5.0 Release Notes

Release Date: 2020-03-29 // 5 months ago
  • ➕ Added

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


    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)