Tests by case feature LetDefFunInDef; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
13f2da02ccb32f6fcd7cd6a81493261dcb46378f	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
8d81c883e597796f68282eb93fd67831c83d7658	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
4d2fd3f78720fe6e21b55af98b979c9c3dcc7c6e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
661c9e42bc9e92030bf2c171cb567689c25f9c40	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
1cea1a99fb4f86ce581e0a363677bf45581cbf7e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
b358b054c8d26fad5d25bfd7f35e4a3af76842cc	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index