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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
0ecbcd89e1cc6e1874b802f41794ceff4168d81d	Apalache	ExistsInDef	InDef0	True	Passed	Model Under Test Equivalent Model
4616bc0a8562fcdd34004f0de3e1873458c2cfbe	Apalache	ExistsInDef	InDef0	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
4ad3f533ce4aef451878f7ce4159a5ff9008fe89	Apalache	ExistsInDef	InDef2	True	Passed	Model Under Test Equivalent Model
f14cdf66ad11606c13552fa4632c6f8dcdf458d9	Apalache	ExistsInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index