Tests by case feature FunInDef; CLI Option: -workers 2

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
37d4ab2e18665bf4aa090a3b6359eab73b28140d	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
9de99e79fc145a64d27512172149651fff0cf102	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
3332c3170beedd583db2a0a2377975263606f5c2	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
9e2c322a93b9bf696cea005be9d21d5f48c1f8ee	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
84399730ab1ddc430bdf82e58f864204e1f6ed0e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
4b59a018667984590092aefadc632053ab74513c	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	FunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index