Fix scenario minimization

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

555 stars 31 forks source link

Closed eupp closed 12 months ago

eupp commented 12 months ago

Implement the following fixes in the scenario minimization:

single-thread scenarios are not split into init/post parts, only parallel part with one thread is left;
if after minimization parallel part of the first thread becomes empty, it is removed (the next non-empty thread in parallel part becomes first thread).

Closes #215.

eupp commented 12 months ago

I also add 2 new tests for minimization, that should emulate the problem reported in #207.