This repository has been archived by the owner on Jun 4, 2021. It is now read-only.

Exponential behaviour in `Test.both` #45

Open

runarorama opened this issue May 7, 2020 · 0 comments

Contributor

runarorama commented May 7, 2020

Given

test.laws.lattice : '{Gen} a -> (a ->{e} a ->{e} a) -> (a ->{e} a ->{e} a) ->{Gen,e} Test
test.laws.lattice gen meet join = 
  absorption gen meet join 
    `both` associative gen meet
    `both` associative gen join
    `both` commutative gen meet
    `both` commutative gen join

The following test essentially never completes:

test> minMaxLattice = runs 2 '(test.laws.lattice nat Nat.min Nat.max)

The text was updated successfully, but these errors were encountered:

atacratic mentioned this issue

Property test with 6+ uses of a generator locks up #58

Open

runarorama mentioned this issue

Fix quadratic slowdown in Gen #62

Open

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.