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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
2a387f7ce03f80c44e46b3d66d24235c0e563afa	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef0	True	Passed	Model Under Test Equivalent Model
41ac6a95626fafca533051161eb0b11a944c2b85	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef0	False	Passed	Model Under Test Equivalent Model
a2d147e7a5154f0b35b3514a53d8a097a6072f50	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef1	True	Passed	Model Under Test Equivalent Model
1484cdd254a55901f5ebb406c541fe858b31cddb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef1	False	Passed	Model Under Test Equivalent Model
810e15a1939f040e1e302b3f96f23a3b20d24a5f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef2	True	Passed	Model Under Test Equivalent Model
5611c74eab152d837f966cd996fe9dfa7b763f55	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ExistsInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index