Search results

<code>forAllDL</code> and similar functions do return <code>Property</code> but not <code>PropertyM</code>

Status: Open.

#82 In input-output-hk/quickcheck-dynamic;

· uhbif19 opened on May 27, 2024

<code>forAllDL</code> does not keep track of <code>Action</code>s rejected by <code>precondition</code>

Status: Open.

#81 In input-output-hk/quickcheck-dynamic;

· uhbif19 opened on May 27, 2024

Difference between forAllQ and forAllNonVariableQ?

Status: Open.

#66 In input-output-hk/quickcheck-dynamic;

· ch1bo opened on Feb 14, 2024

Make dependent actions shrink

Status: Open.

#62 In input-output-hk/quickcheck-dynamic;

· MaximilianAlgehed opened on Jan 16, 2024

Hide internals of <code>StateModel</code> module

Status: Open.

#59 In input-output-hk/quickcheck-dynamic;

· MaximilianAlgehed opened on Sep 20, 2023

No shrinking happening when checking a DL formula

Status: Open.

#31 In input-output-hk/quickcheck-dynamic;

· ghost opened on Dec 15, 2022