search

JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
564 stars 33 forks source link

VerboseTrace option was removed from the API #152

Closed avpotapov00 closed 1 year ago

avpotapov00 commented 1 year ago

VerboseTrace option was removed from the API. Log output now contains both standard and verbose traces.

ndkoval commented 1 year ago

Great job!