Tests by case feature ExistsInDef; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
23a1daf3c46c3cb64fc3ce0f450c131ea2d9a757	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef0	True	Passed	Model Under Test Equivalent Model
3087b12d1a453ba6d147de3db7b23cd13d98675c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef0	False	Passed	Model Under Test Equivalent Model
67b72bc7cf2e0827e68e7e2cac014fc3647fcaf9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef1	True	Passed	Model Under Test Equivalent Model
bc5c44b8f9e089ee1b4c170c346d9747b5fa7f4a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef1	False	Passed	Model Under Test Equivalent Model
f8c132d55bff2a313710beebc07c2e56753f3dc6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef2	True	Passed	Model Under Test Equivalent Model
5fd0e32ebd7cc1b525e209ffd582c4985e6df46e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExistsInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index