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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
2e1ce58508c2e61ba5f33dba7ac51c6ff81b0720	Apalache	Set2InDef	InDef0	True	Passed	Model Under Test Equivalent Model
2f45a2f6dcc2939c82f0882e0bab04b021447685	Apalache	Set2InDef	InDef0	False	Passed	Model Under Test Equivalent Model
4124094d4fe0007c2e708a7360038ac74e27f5fc	Apalache	Set2InDef	InDef1	True	Passed	Model Under Test Equivalent Model
dcdc834728b46f5c91cdc37f26000a4968c679f9	Apalache	Set2InDef	InDef1	False	Passed	Model Under Test Equivalent Model
5af1a95f5bb8627c9d1ccd949b33aa4f5a0c6914	Apalache	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
52afcc0882212d8b6dd112fd5c13e4033604b740	Apalache	Set2InDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index