This PR enables the use of several more FsCheck features:
compound properties
property lables
implications
observations
It might also enable more things (but the above are the ones I use frequently/tested). Further, this PR only impacts the CE DSL, as the list DSL already seems to support these features.
I'm not sure if this changes is sufficiently robust (but it's a start)...
Changes one the data type of one of the fields on the internal state of the CE builder
Adjusts one overload of Yield to support the data type change
Adds a new overload of Yield which accepts functions which return Property
Adds some demonstrative samples to Aenea.Cli project
This PR enables the use of several more FsCheck features:
It might also enable more things (but the above are the ones I use frequently/tested). Further, this PR only impacts the CE DSL, as the list DSL already seems to support these features.
I'm not sure if this changes is sufficiently robust (but it's a start)...
Yield
to support the data type changeYield
which accepts functions which returnProperty
Aenea.Cli
project