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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
34efcfb5fc4a825fb869cfbbf4b25b86ed394bf7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef0	True	Passed	Model Under Test Equivalent Model
15accbd5148489cf6753fa48c5c7cbc492ef736a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef0	False	Passed	Model Under Test Equivalent Model
ede42352daf04d039e326740181898f491b4e89c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
8f2562834218ef007a1099ea49441e4a8dec77bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
24ba9c6fd11666239d1b9c116a357eb10dd545b5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
c1d4fb5e7a93839299ce26aaf96f2817ba152738	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2InDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index