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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b54af6d1d362fe9fb7a6f02279af7a5bb549549a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1InDef	InDef2	True	Passed	Model Under Test Equivalent Model
561c38ba8b901e3a581d5178441d9c3ae01e1027	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1InDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index