On Mon, Jan 13, 2025 at 02:02:00AM +0100, Michail Nikolaev wrote: > While stabilizing tests for [0] I have noticed unclear (and confusing in my > opinion) behavior of markers in the isolation tester. > > I have attached a test with reproducer. > > There are two permutations in the test: > > permutation > after(before) > before > detach1 > wakeup1 > detach2 > wakeup2 > > In that case, I see expected results: > step before: <... completed> > step after: <... completed> > > But changing the order of steps slightly: > > permutation > after(before) > wakeup1 <------- wakeup moved here > before > detach1 > detach2 > wakeup2 > > makes "after" to be completed before "before". Does that make sense?
Yes. I don't see a good reason for isolationtester to disregard that "(before)" marker, so I think you've found a bug in isolationtester. How might we fix it?