A new module for the Guarantees, i.e. test cases corresponding to Isabelle theorems
Quickcheck generators are split into the following modules: Arbitrary, SemiArbitrary and Generators
Arbitrary
Contains instances of Arbitrary
SemiArbitrary
The SemiArbitrary type-class and it's instances. SemiArbitrary generates arbitrary values based on a Context.
Generators
In the module Generators there are the random data generators that are delegating the task to a spec-client
Note, SemiArbitrary now just generates values from the Context - Arbitrary is no longer a subclass of SemiArbitrary. This is needed as the Context might be populated from a spec-client and we can not make use of locally generated values.
This PR introduces
Guarantees, i.e. test cases corresponding to Isabelle theoremsArbitrary,SemiArbitraryandGeneratorsArbitrary
Contains instances of
ArbitrarySemiArbitrary
The
SemiArbitrarytype-class and it's instances.SemiArbitrarygenerates arbitrary values based on aContext.Generators
In the module
Generatorsthere are the random data generators that are delegating the task to aspec-clientNote,
SemiArbitrarynow just generates values from theContext-Arbitraryis no longer a subclass ofSemiArbitrary. This is needed as theContextmight be populated from aspec-clientand we can not make use of locally generated values.