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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
22db2057283b34c15bd3653b3d6beb2dab7284f5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef0	True	Passed	Model Under Test Equivalent Model
94e9c266ac7f50e6d8c547b60e4c841bca2ba22a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef0	False	Passed	Model Under Test Equivalent Model
40ea16faf56bd02894f00779ceafbf24714da2dc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef1	True	Passed	Model Under Test Equivalent Model
e315c98f5cb5350e8febdd242a8c289a0de1926a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef1	False	Passed	Model Under Test Equivalent Model
3047519441097958fb15287ca83e284cc4502558	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef2	True	Passed	Model Under Test Equivalent Model
f67f829bb85401fb4a742105c20121cf38eb0eb2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ForallInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index