Tests by plug feature InDef1; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
4124094d4fe0007c2e708a7360038ac74e27f5fc	Apalache	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
dcdc834728b46f5c91cdc37f26000a4968c679f9	Apalache	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
d0be284f702a9555f68fd61053585e33a4c9b7f5	Apalache	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
7d510b0213ae0edc9485f340211b8954bbeff46e	Apalache	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
7e1e1a4d489c834928f3a46d7ecd31f1f94a23b8	Apalache	ExistsInDef	InDef1	True	Passed	Model Under Test Equivalent Model
cb0a085b2455c95451bf0567596f1774be630ff7	Apalache	ExistsInDef	InDef1	False	Passed	Model Under Test Equivalent Model
0c34090866772cb5aa90888f6cf79394b99fe3fb	Apalache	ForallInDef	InDef1	True	Passed	Model Under Test Equivalent Model
4d647f91ac5bb8f3a782b267b4f3a25fb25b3280	Apalache	ForallInDef	InDef1	False	Passed	Model Under Test Equivalent Model
6d19a0696a0341e6253a7538a7d549446fc9bfab	Apalache	DefFunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
50a4e72a4b0c8fe435696de5ad578b2f11b19205	Apalache	DefFunInDef	InDef1	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

Index

Tests by plug feature InDef1; CLI Option: -workers 1