You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am testing with a large number of tests and noticed that this seems to use up more and more memory. For instance with the example from Test.LeanCheck with a few more tests:
I am testing with a large number of tests and noticed that this seems to use up more and more memory. For instance with the example from Test.LeanCheck with a few more tests:
With a compiled program this eats up all the memory on my machine until it starts thrashing (ghc-8.2.2).
The text was updated successfully, but these errors were encountered: