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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b7cb9efd2e943c74bd12ad5a6cece3be2ee947b2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1InDef	InDef2	True	Passed	Model Under Test Equivalent Model
33cad27a118d50001a9c8775999fd7d9a1ade3d7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set1InDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index