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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4c590cd633784f2512dca09e86fce6532d04adcf	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	StringSet	True	Passed	Model Under Test Equivalent Model
cf25985a978420d6ccab2d24406915f9a0f4056d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	StringSet	False	Passed	Model Under Test Equivalent Model
54e235dc7b55296b81e70ab493c21dc1b8ae450d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	StringSet	True	Passed	Model Under Test Equivalent Model
5873c85853e7b2857355506905ed88dc92654ca3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	StringSet	False	Passed	Model Under Test Equivalent Model
0451965c888ac222ed8c3cad9e32cb928c33a90a	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	StringSet	True	Passed	Model Under Test Equivalent Model
0b6a98fd60b43a07b372a495f89d98144aeac793	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	StringSet	False	Passed	Model Under Test Equivalent Model
8efede59a46d43764a415467e4739f55ca39945d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	StringSet	True	Passed	Model Under Test Equivalent Model
06267dbafd24f6577d0d2483377ed6563974bc85	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	StringSet	False	Passed	Model Under Test Equivalent Model
3ea5d7b54aceffa205574613efc5120f2a0a847d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	StringSet	True	Passed	Model Under Test Equivalent Model
cb3bfd69429357dd3f4a078e56bee517e2da34dc	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	StringSet	False	Passed	Model Under Test Equivalent Model
dcbd958fae45455dfc45ee4c03a727c47e711656	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	StringSet	True	Passed	Model Under Test Equivalent Model
18a31c9f15f864a9c7572152975fcf6bf81ec904	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	StringSet	False	Passed	Model Under Test Equivalent Model

Index

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