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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
05914f5b68fb1de25483914a217b131dc1cf717b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
c24297f123153dfd926785a6a38c9ce00d3cd42e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
7c7df61cc413c18b08fcdf0347e3e4a51cc957e7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
ec49f96b7316d575ea7b2362003070650dc6156a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
b931d6ba44dd6c8521d1308f0ebd6891de576a8c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
2a6f88084b9236d8b25d72d8f972cc5df72356dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index