Bug in the minimization of the initial part of a scenario

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Bug in the minimization of the initial part of a scenario #286

Open eupp opened 4 months ago

eupp commented 4 months ago

Apparently, there is a bug in the scenario minimization, related to the minimization of initial part of a scenario. It leads to flaky tests. See examples in these builds on CI: 1, 2, 3

ndkoval commented 3 months ago

@eupp should incrementing the number of invocations help?

eupp commented 3 months ago

should incrementing the number of invocations help?

Maybe this happens because of the small number of invocations, indeed. Let's try to increase the number and see.