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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ec36a9e65c68b7062d52be36d31b7768dd361206	Apalache	FunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
f82896875ba9b5870455390173c483b3020a0769	Apalache	FunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
d0be284f702a9555f68fd61053585e33a4c9b7f5	Apalache	FunInDef	InDef1	True	Passed	Model Under Test Equivalent Model
7d510b0213ae0edc9485f340211b8954bbeff46e	Apalache	FunInDef	InDef1	False	Passed	Model Under Test Equivalent Model
2b85205aa8cfb55dd263b5e6bc2b51c2e05caadc	Apalache	FunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
cd41c84833a0aa8baf252f9fac02142722007fdc	Apalache	FunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index