search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
582 stars 34 forks source link

Scenario minimization causes java.lang.OutOfMemoryError #91

Closed mvicsokolova closed 3 years ago

mvicsokolova commented 3 years ago

Scenario minimization results in java.lang.OutOfMemoryError because of multiple recursive invocations.

Here is the test to reproduce the error: runModelCheckingTest() fails with java.lang.OutOfMemoryError: Java heap space if minimizeFailedScenario is true.

alefedor commented 3 years ago

@mvicsokolova

Hi! You are right. There is a memory leak due to recursion