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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
7838e6a95f4ae70e18cfa5e67ebee8c309c2dcda	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	SeqSeq	True	Passed	Model Under Test Equivalent Model
09b8ebfc3721a01cdb730fcd0179bc5ee8204c3f	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	In	SeqSeq	False	Passed	Model Under Test Equivalent Model
407cdbfb1738f409cc07b0f12aeadd9af5ad8763	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	SeqSeq	True	Passed	Model Under Test Equivalent Model
8168511e44da1ba5659c021c20c48ff6c0e85af3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	NotIn	SeqSeq	False	Passed	Model Under Test Equivalent Model
7a753be99591fcab0b95cacb7ea5203aa059fee3	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
298debb0e397f3507b58bba9638b9877e3d5ace9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunSet	SeqSeq	False	Passed	Model Under Test Equivalent Model
7d0cf664505ed7041f4415c84b734384e9a9d211	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
8da6e581b82897cdc64d310d5ee25fc925e464cb	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	RecordSet	SeqSeq	False	Passed	Model Under Test Equivalent Model
13a24f255bb18591b082a90cf588872d1fb410ff	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	SeqSeq	True	Passed	Model Under Test Equivalent Model
c3c9f9a188e648772d07ffdadaf474c82e9dc239	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	SeqSeq	SeqSeq	False	Passed	Model Under Test Equivalent Model
90e0fefea0433c83fc291be4a919e99191e5e4d2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
e11c321af5b214d31bb3fe32fd4f147f7b0eee66	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FiniteSetsIsFiniteSet	SeqSeq	False	Passed	Model Under Test Equivalent Model

Index

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