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

Open

Open

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

Assignees

Labels

IJ Plugingeneral-purpose mc

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

Metadata

Assignees

avpotapov00

Labels

IJ Plugingeneral-purpose mc

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests