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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
cca506688e0cd5a781cdb52657b0f32d89d91c85	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	SeqSeq	True	Passed	Model Under Test Equivalent Model
00386e2f457fedcdd1cd7c4e6450573ad3737461	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	SeqSeq	False	Passed	Model Under Test Equivalent Model
5868d77b3b177e45775db3a7e280a0f8aaac139f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSeq	True	Passed	Model Under Test Equivalent Model
fb00f4dcb4669b22b6fed0024ff08b0c10cb9cdd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	SeqSeq	False	Passed	Model Under Test Equivalent Model
4e4bca05a67c2319acd1a7640233a8a0b1104fce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
59eae921282489b1c551b73694128c2bb33a2389	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunSet	SeqSeq	False	Passed	Model Under Test Equivalent Model
73edbefa9dbedac8bad466ac468abb8721004b68	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
02934553b6d61b10097fe9be99c6f0714c1118be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	RecordSet	SeqSeq	False	Passed	Model Under Test Equivalent Model
799b641154fd7461f03727faf482a15b8c121b17	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	SeqSeq	True	Passed	Model Under Test Equivalent Model
d4df8f63c9086cbcaebbe0fa162cd51ec3291a09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSeq	SeqSeq	False	Passed	Model Under Test Equivalent Model
b7a428f6cf52ba095ecb00c428af85a6b56d54bc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	SeqSeq	True	Passed	Model Under Test Equivalent Model
340d6e8629961105cb132d46a4e01926cd0351f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FiniteSetsIsFiniteSet	SeqSeq	False	Passed	Model Under Test Equivalent Model

Index

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