search

JetBrains / lincheck

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

Remove the `verboseTrace` configuration option #148

Closed ndkoval closed 1 year ago

ndkoval commented 1 year ago

Let's remove the verboseTrace configuration option and always print both shortened and expanded options.

alefedor commented 1 year ago

Expanded traces are rarely needed as they contain too many "trash" events. Printing both variants in the same place will complicate output. Theoretically, it would be fine to print these traces in separate files but we do not have such interface and do not use any files

ndkoval commented 1 year ago

Printing both traces will not make the output worse. However, it will save some time for those users who need to enable verbose traces and re-run the test.