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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4e524784757f53728e790487ac33797ac2c4e507	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ChooseInDef	InDef2	True	Passed	Model Under Test Equivalent Model
56c3bf4df8a07a8872f0e0be7a21b4b1c90f7824	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ChooseInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index