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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
bcf1877d3c040e206506094595f1c3f50b99e2d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Lambda	True	Passed	Model Under Test Equivalent Model
6b2df20a007bd6fbf028e2a113c1ca3d97bbbc4b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqSelectSeq	Lambda	False	Passed	Model Under Test Equivalent Model

Index