Tests by plug feature StringSet; CLI Option: -workers auto

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
42148d2158b18cfb0eb9014e483cb9e90a536139	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	StringSet	True	Passed	Model Under Test Equivalent Model
8c4493042b2a07cb4c6b9748956e5cde581bfb3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	StringSet	False	Passed	Model Under Test Equivalent Model
1b9b38e4dc7e49657a20365a7de3bf65e80934e3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringSet	True	Passed	Model Under Test Equivalent Model
a2f88edbd337bbff848b3ab794cb70aca9e3d8ed	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	StringSet	False	Passed	Model Under Test Equivalent Model
d035bc9b52e3462929c10b4aae2ada22f00af0d2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	StringSet	True	Passed	Model Under Test Equivalent Model
60a6e748f32dbb11093d869731408c4c714646d8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	StringSet	False	Passed	Model Under Test Equivalent Model
bc740eeb7d4f34a977e5fe0dcde419fe882e347f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	StringSet	True	Passed	Model Under Test Equivalent Model
5984405b24640fbcbc34a8b48fda86bfe5cc0f1f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	StringSet	False	Passed	Model Under Test Equivalent Model
93262cf620c7a8448bb62e072dae0474e468952f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	StringSet	True	Passed	Model Under Test Equivalent Model
64850afd309d4102ddc127f60145c7cf832fc970	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	StringSet	False	Passed	Model Under Test Equivalent Model
b681f4c2f67345b38016a6ea3f54990334200380	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	StringSet	True	Passed	Model Under Test Equivalent Model
eec30af2efc043249d585660de4953c7f3d98267	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	StringSet	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature StringSet; CLI Option: -workers auto