The Rerun button works incorrectly in lincheck project

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

589 stars 34 forks source link

Open avpotapov00 opened 2 months ago

avpotapov00 commented 2 months ago

Run org.jetbrains.kotlinx.lincheck_test.verifier.linearizability.CounterWrong0Test as a failing test Click Investigate in Debug Mode button

Expected: only this test reruns Actual: some unrelated tests started, but no debug session started

ndkoval commented 1 month ago

This can be fixed together with #380