Object numeration representation fix

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

538 stars 31 forks source link

Closed avpotapov00 closed 2 months ago

avpotapov00 commented 2 months ago

An object number in the trace is decorated with # instead of @