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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
9c054f23698736efaf8dce589233da48acbe0c5d	Apalache	ForallInDef	InDef0	True	Passed	Model Under Test Equivalent Model
c2499c6d8bc3c0e9c3a503810a6f95cde3173f2d	Apalache	ForallInDef	InDef0	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
beb32ec611002a52b38559f592f30d60cd9c7952	Apalache	ForallInDef	InDef2	True	Passed	Model Under Test Equivalent Model
fe163365fa23c90b31d2a5ae30dba931b3662d0b	Apalache	ForallInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index