Tests by plug feature InDef0; 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
ec36a9e65c68b7062d52be36d31b7768dd361206	Apalache	FunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
f82896875ba9b5870455390173c483b3020a0769	Apalache	FunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
0ecbcd89e1cc6e1874b802f41794ceff4168d81d	Apalache	ExistsInDef	InDef0	True	Passed	Model Under Test Equivalent Model
4616bc0a8562fcdd34004f0de3e1873458c2cfbe	Apalache	ExistsInDef	InDef0	False	Passed	Model Under Test Equivalent Model
9c054f23698736efaf8dce589233da48acbe0c5d	Apalache	ForallInDef	InDef0	True	Passed	Model Under Test Equivalent Model
c2499c6d8bc3c0e9c3a503810a6f95cde3173f2d	Apalache	ForallInDef	InDef0	False	Passed	Model Under Test Equivalent Model
44d0a960d953c4799f5293964e4c841da1721a3e	Apalache	DefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
69e0255485b56e791423730bba66eb1d43aa40c2	Apalache	DefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model
13f2da02ccb32f6fcd7cd6a81493261dcb46378f	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef0	True	Passed	Model Under Test Equivalent Model
8d81c883e597796f68282eb93fd67831c83d7658	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef0	False	Passed	Model Under Test Equivalent Model

Index

Tests by plug feature InDef0; CLI Option: -workers 1