Tests by plug feature InDef2; 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
54ec5b9f4ef290c98f7897b99f403fee60d832e5	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
2d801f739322eb2b2d9b98514be4afef541c8e1a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	Set2InDef	InDef2	False	Passed	Model Under Test Equivalent Model
84399730ab1ddc430bdf82e58f864204e1f6ed0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
4b59a018667984590092aefadc632053ab74513c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef2	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
caf6cb2891736a7df78068de1b960e1e48e1a54e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef2	True	Passed	Model Under Test Equivalent Model
1e43d717c972ec7cd36edbcf5f9d142d4971bd8a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	ForallInDef	InDef2	False	Passed	Model Under Test Equivalent Model
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
ca0a3899394541908fd28bf555d415c79a5085f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
7c9e974be8476b75a464422840f0605811cf9ea7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model
afd2653e726d2cba159515bed094524390c66524	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
dc2cff3216db40a1e09bb5816297a7b67b2da03f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	LetDefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature InDef2; CLI Option: -workers 2