JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
545 stars 31 forks source link

Add actor results to the trace in case of any failure #244

Open avpotapov00 opened 7 months ago

avpotapov00 commented 7 months ago

Now we print actor results only failure type is IncorrectResultsFailure. But it looks weird and not consistent, especially in plugin. Let's always display actor results.