Trace collection in stress mode

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Trace collection in stress mode #264

Open eupp opened 5 months ago

eupp commented 5 months ago

When the test fails in the stress mode, try to reproduce the failure and collect the trace using model checking mode.

Closes #151

Please rebase and merge after #262 . This PR utilizes a small refactoring implemented in #262 , that unifies the logic for running custom and random scenarios.