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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
2f86b6d740542b3ce3655a84215d828034b182e4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
b96bfa12d4a54cf9dd340ca505c00655957d14c0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
bb9942fc60aa524c13e8eaae8a97e31f9cb00946	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
85ba1dee62f54158d34c24b3aa9536c2a231a060	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
12e8e8ec9c0f9f890182ad5812c0adbec9b18b50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
7d2396535c7685217db0993a0eb264f6cc17c00c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index