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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
c13904bb75faf80f894aea118a68219ddc797f11	Apalache	ChooseInDef	InDef2	True	Failed: Apalache does not support tuple syntax in CHOOSE, e.g. CHOOSE <> \in S	Model Under Test Equivalent Model
f3e19c279e6d80a435e9c02808f6e1a4c5568a27	Apalache	ChooseInDef	InDef2	False	Failed: Apalache does not support tuple syntax in CHOOSE, e.g. CHOOSE <> \in S	Model Under Test Equivalent Model

Index