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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b9189b1d6f379c51555dae97d595d764c146a3b5	Apalache	Set1InDef	InDef2	True	Passed	Model Under Test Equivalent Model
b4a275e9ec4bc2f6cb3676f897e6e1bc97f70db8	Apalache	Set1InDef	InDef2	False	Passed	Model Under Test Equivalent Model
5af1a95f5bb8627c9d1ccd949b33aa4f5a0c6914	Apalache	Set2InDef	InDef2	True	Passed	Model Under Test Equivalent Model
52afcc0882212d8b6dd112fd5c13e4033604b740	Apalache	Set2InDef	InDef2	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
4ad3f533ce4aef451878f7ce4159a5ff9008fe89	Apalache	ExistsInDef	InDef2	True	Passed	Model Under Test Equivalent Model
f14cdf66ad11606c13552fa4632c6f8dcdf458d9	Apalache	ExistsInDef	InDef2	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
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
a29b43e850b74d3b8cf4a65d6076a392cad5b53f	Apalache	DefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
ab8da9ecfad8527627b9db5ae7bb57b02c22bc8d	Apalache	DefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model
1cea1a99fb4f86ce581e0a363677bf45581cbf7e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef2	True	Passed	Model Under Test Equivalent Model
b358b054c8d26fad5d25bfd7f35e4a3af76842cc	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunInDef	InDef2	False	Passed	Model Under Test Equivalent Model

Index

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