Clarify validation failure error messages

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

576 stars 33 forks source link

Clarify validation failure error messages #220

Closed eupp closed 8 months ago

eupp commented 1 year ago

Currently, when the test fails due to validation failure, it is not clear from the output where the failure happened (i.e. what operation caused the failure). We can try to improve the tool's output in this case.