quickcheck-dynamic

quickcheck-dynamic copied to clipboard

`postcondition` is now `Postcondition m`. The monadic postconditions will be ignored when evaluating the postcondition via `evalPostCondition`. They will be taken into account when evaluating via `evalPostConditionM`. Checklist: - [...

jasagredo

First draft of parallel state machines

22

Implements `runParallelActions` which will spawn multiple threads to test parallel execution in a style similar to `eqc_statem`.

jasagredo

Execution is now divided in two phases `Symbolic` and `Dynamic`. The conversion between both is done via `toDynAction` automatically once that one is provided. Checklist: - [ ] Check source-code...

jasagredo

This PR removes `PostconditionM` therefore disallowing monadic access to the SUT in postcondition checking. It also refines the haddocks in `monitoring` as it is now redundant once `liftProperty` (extracted from...

jasagredo

*Short description of your PR* Checklist: - [ ] Check source-code formatting is consistent

ch1bo

This PR contains 2 things (which should probably be separated), and is in draft because it's lacking a 3rd thing: 1. A q-d implementation of the _Circular Buffer_ example which...

ghost

No shrinking happening when checking a DL formula

20

I am surprised by the fact I don't see any trace of shrinking happening with some property I am checking, although I implemented `shrinkAction`. `precondition = const True` Here is...

ghost

Difference between forAllQ and forAllNonVariableQ?

8

Is shrinking different? What is the difference? Maybe this is also a bug report on shrinking behavior. We are sometimes generating actions in `DL` like this: ``` -- seed world...

ch1bo

Make dependent actions shrink

2

In situations like this: ``` do var0

MaximilianAlgehed

We currently expose things like `Actions(..)` and `Step(..)` etc in the public interface of the library. I'd like to limit what we expose to the "intended use-case" to avoid confusion...

MaximilianAlgehed