search

JetBrains / lincheck

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

Fix representation of empty traces #205

Closed eupp closed 1 year ago

eupp commented 1 year ago

Currently, empty execution trace is printed incorrectly by the tool as an empty string. This PR fixes this. It ensures that at least the executed actors (with their results) are always printed, event if the execution trace does not have any interesting trace points.