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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
44d0a960d953c4799f5293964e4c841da1721a3e	Apalache	DefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
69e0255485b56e791423730bba66eb1d43aa40c2	Apalache	DefFunInDef	InDef0	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
a29b43e850b74d3b8cf4a65d6076a392cad5b53f	Apalache	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
ab8da9ecfad8527627b9db5ae7bb57b02c22bc8d	Apalache	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index