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

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

Index