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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
3518b540b83de3b13d38233390eb9e1199a00ead	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
9aaf7f59eef7a58da2fa997455bb1d3abc210637	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
408e3b298f1d88a14d5f5b81c355725597c52a84	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
175058a76699ccc0ef791eafbeb00c5d92bdbc7e	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
ca0a3899394541908fd28bf555d415c79a5085f9	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
7c9e974be8476b75a464422840f0605811cf9ea7	TLC with reduction strategy: Configuration: Replace `-workers 2` option with the `-workers 1`	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index