Do not show scenario and object graph diagram views for the general-purpose model checker

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

587 stars 34 forks source link

Open eupp opened 1 month ago

eupp commented 1 month ago

Do not show additional panels when the Lincheck plugin is used in "time-travelling mode".