Tests by case feature Set2InDef; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
28030fe581ac25667bd6706475214a5bdef78df6	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef0	True	Passed	Model Under Test Equivalent Model
87ef23eec4c3d720b7aa1b282a48dd8058e8c95d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef0	False	Passed	Model Under Test Equivalent Model
528570ec00c2bdf83b375c6bd8947810ae352796	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
38dac648c4de296b2f56d69914f5efb5ed25f99a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
54ec5b9f4ef290c98f7897b99f403fee60d832e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
2d801f739322eb2b2d9b98514be4afef541c8e1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index