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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
8836ec0008623d5b26175b32e703a3ad1312afbc	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	OneLineComment	True	Passed	Model Under Test Equivalent Model
2041bccaa80b3ca058caa530513ba59a1d62e5e1	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	OneLineComment	False	Passed	Model Under Test Equivalent Model
4f27410b4b196e7ac25c53ee555da47c6f6203f5	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b16429c978e44fb6ab73082832ba952273d27fcd	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagToSet	MultiLineComment	False	Passed	Model Under Test Equivalent Model
4505d27297a66e25cd2a21317f10186ac3d514a8	Apalache	BagBagToSet	Let	True	Passed	Model Under Test Equivalent Model
2f2d2e7e8e6f2e76b5b3e2c9500f881c699b6a70	Apalache	BagBagToSet	Let	False	Passed	Model Under Test Equivalent Model
4177e515dd49615b0ea25568754f57bbd05e23a8	Apalache	BagBagToSet	Choose	True	Passed	Model Under Test Equivalent Model
a8e90353a342cb54171efeaeebd2bdc8907f48ae	Apalache	BagBagToSet	Choose	False	Passed	Model Under Test Equivalent Model
3106ec571d436d8e6711bd1587620998706caf28	Apalache	BagBagToSet	FunApp	True	Passed	Model Under Test Equivalent Model
7a1e26defba44155b7ae32cf1835f0519bccc2a4	Apalache	BagBagToSet	FunApp	False	Passed	Model Under Test Equivalent Model
cb242e1f7e1e9d09ada80fd5ba823ecd7d7954cc	Apalache	BagBagToSet	Prime	True	Passed	Model Under Test Equivalent Model
bc134dc1af44637148997625a5705d385725521e	Apalache	BagBagToSet	Prime	False	Passed	Model Under Test Equivalent Model
37c365d8fb32792597e873f2ee7eabff3f0a1fab	Apalache	BagBagToSet	Def0	True	Passed	Model Under Test Equivalent Model
183273e77dacf2be36a57ab6a5c5d1aa1a123cc8	Apalache	BagBagToSet	Def0	False	Passed	Model Under Test Equivalent Model
10687f28bd857a5f1e615fab7887cfc9b09d162c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef0	True	Passed	Model Under Test Equivalent Model
62767b2b3fddd2049fa37bb83dff67675ebd114f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef0	False	Passed	Model Under Test Equivalent Model
3fa4f5417aea6ea61931955cc56ec6b795e11cf0	Apalache	BagBagToSet	Def1	True	Passed	Model Under Test Equivalent Model
e343d0d44219bd3084f8a0b300185ea2ddbda4e6	Apalache	BagBagToSet	Def1	False	Passed	Model Under Test Equivalent Model
38f3b9043f1ffc7e7035e099670f8a68d870816b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef1	True	Passed	Model Under Test Equivalent Model
2a58454db8593a776f460c6ab4393e3ec154d649	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef1	False	Passed	Model Under Test Equivalent Model
7c3c227648568a2bc4a4124520b0f9337090a2ff	Apalache	BagBagToSet	Def2	True	Passed	Model Under Test Equivalent Model
a1ccd5b49e31144c3824048e3350646487d03bb0	Apalache	BagBagToSet	Def2	False	Passed	Model Under Test Equivalent Model
ff2afe1486b9e76068576852070bca5d2dac4c55	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef2	True	Passed	Model Under Test Equivalent Model
b5fe7193105f3a62a9daa85fa9ef6e6b2b906b0b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef2	False	Passed	Model Under Test Equivalent Model
b510f44c08ea3131560e1bd4d7c68e0819910222	Apalache	BagBagToSet	Def1Recursive	True	Passed	Model Under Test Equivalent Model
60dca716cbc0e1f6fe411fc1808e917d97efe411	Apalache	BagBagToSet	Def1Recursive	False	Passed	Model Under Test Equivalent Model
2cf495188462dadece454d71c402b4d6828a6950	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
91b52364c3c88744eca06cf0f060c924f4bcfe39	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagToSet	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
1fb2f55ff3d5133ab4c4852af1779d4570d6645d	Apalache	BagBagToSet	Extends	True	Passed	Model Under Test Equivalent Model
21cb2794f384b9c8f1adb4011162f6239a487586	Apalache	BagBagToSet	Extends	False	Passed	Model Under Test Equivalent Model
94583a8ab139f4becc1bb757ffe0bc51ec3e73eb	Apalache	BagBagToSet	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
f10debbe66326cfb9a3d5fb7e4c58b633f4c7ef7	Apalache	BagBagToSet	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
55867688f5425daaf4f633b260f939b01d2c311b	Apalache	BagBagToSet	Variable	True	Passed	Model Under Test Equivalent Model
0d98bf1139e9c915ccc3ddc9ef31614547d11f59	Apalache	BagBagToSet	Variable	False	Passed	Model Under Test Equivalent Model
4a3f9786c3da2053febcc86b563399248a0f557d	Apalache	BagBagToSet	Constant	True	Passed	Model Under Test Equivalent Model
fa08eadf513650f60be539fc02d9effc93b33b4f	Apalache	BagBagToSet	Constant	False	Passed	Model Under Test Equivalent Model
92391c97df39fe264f6eff68da2dd33e86cec5a4	Apalache	BagBagToSet	ConstantRank1	True	Passed	Model Under Test Equivalent Model
8ea4b58783303b2a86b3bfc1a037c53bbaa72497	Apalache	BagBagToSet	ConstantRank1	False	Passed	Model Under Test Equivalent Model
a76cd90a28014e49a5333562daa1cc1711f58a50	Apalache	BagBagToSet	Instance	True	Passed	Model Under Test Equivalent Model
842f5f10fa72f8573aada3f4a7f1b5e6c3ac22d1	Apalache	BagBagToSet	Instance	False	Passed	Model Under Test Equivalent Model
7d24c1e91996a586fc93315679d9ee4e2c8877fb	Apalache	BagBagToSet	InstanceWith	True	Passed	Model Under Test Equivalent Model
7c86a0cfc20b3c46fc7a4518e29570cdb6d82a01	Apalache	BagBagToSet	InstanceWith	False	Passed	Model Under Test Equivalent Model
2ee41d1039b0fb9e48f29cb41aa26cbd13a4a57e	Apalache	BagBagToSet	InstanceNamed	True	Passed	Model Under Test Equivalent Model
2dd07b7f977008d4bdbaa94dca94906ee3042216	Apalache	BagBagToSet	InstanceNamed	False	Passed	Model Under Test Equivalent Model
9d620ca611fbbfa2ebf1bb148f983c310f9722be	Apalache	BagBagToSet	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
8548a016dd00ab15b286c33c3fba057d94200c5d	Apalache	BagBagToSet	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
7ff4f4c5ab5fe19c6e1674007671543404db12da	Apalache	BagBagToSet	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
63803b851268ccb4f5cb37f68af01e2042320092	Apalache	BagBagToSet	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
fadd4fabfc78c5974e2a4862a40c620e848d21f0	Apalache	BagBagToSet	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
c161b75cbb28035de43487935d7f6ff69c8f7807	Apalache	BagBagToSet	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
4e0da020bb2613ef88bd95004a8c7696dfaa3f94	Apalache	BagBagToSet	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
c902e1ac6a587e0517221db350436460f5bbd5e5	Apalache	BagBagToSet	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7f74e37bc36a2a5d6cef3e3241c37af052ff2ce1	Apalache	BagBagToSet	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
9945014a367ea3f4fa876bce9a5ab999c5b1ff49	Apalache	BagBagToSet	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
3ebc5312cdce5ed60f3cc7ff2e6c6bdd46d68de7	Apalache	BagBagToSet	IfCond	True	Passed	Model Under Test Equivalent Model
fa438a8efa5439f31b82db88a564bb306452ef4d	Apalache	BagBagToSet	IfCond	False	Passed	Model Under Test Equivalent Model
a924f59133a21532cb4d3485a790bf6cb07c86e1	Apalache	BagBagToSet	IfThen	True	Passed	Model Under Test Equivalent Model
c541da2df8641976d83bb11836100947b3992679	Apalache	BagBagToSet	IfThen	False	Passed	Model Under Test Equivalent Model
2813e7a1034ed6ebeb83c6a901915a8dd99f0aab	Apalache	BagBagToSet	IfElse	True	Passed	Model Under Test Equivalent Model
cd436baa923675a376e9426e8378ff71306ca96a	Apalache	BagBagToSet	IfElse	False	Passed	Model Under Test Equivalent Model
e0dc6d5ec97021acf5affbb711401fe670026e12	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagToSet	TlcEval	True	Passed	Model Under Test Equivalent Model
ccf90c4da0e44a9a418998a8f6b431149ce154a3	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagToSet	TlcEval	False	Passed	Model Under Test Equivalent Model
669f684f2936f4f562b4b50557ce36227e9062e9	Apalache	BagBagToSet	BagSetToBag	True	Passed	Model Under Test Equivalent Model
15a1198851545376b33ca58ec9985c0e50dd5638	Apalache	BagBagToSet	BagSetToBag	False	Passed	Model Under Test Equivalent Model
45b361c2254e7e5f8657971578f741a9d0d67342	Apalache	BagBagToSet	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
239316a4eb27c0a054100f0a6ca7d53ed3d1963a	Apalache	BagBagToSet	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
6a5da93d5fb3bd1a632fc0afe5a6c03f3a8f4e3d	Apalache	BagBagToSet	BagAddBag	True	Passed	Model Under Test Equivalent Model
49323f79bd0a968e44cbc5d30609ca2be14536be	Apalache	BagBagToSet	BagAddBag	False	Passed	Model Under Test Equivalent Model
39a48e7c7dec3eddf56aa3cb78bdd2900351e0b0	Apalache	BagBagToSet	BagBagSub	True	Passed	Model Under Test Equivalent Model
1d6a059a23e1a6dbd5b0a5563b1ca953d08f1966	Apalache	BagBagToSet	BagBagSub	False	Passed	Model Under Test Equivalent Model
af41a9e8a814c7abd8ecb81c792a32623e98d778	Apalache	BagBagToSet	BagBagUnion	True	Passed	Model Under Test Equivalent Model
233015371427978a1c9bd99449d64f9941ef43ba	Apalache	BagBagToSet	BagBagUnion	False	Passed	Model Under Test Equivalent Model
0d6bd06effdb6be7544ee6b02ee0c436d511bf08	Apalache	BagBagToSet	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
bc92aad22a3c73beea054805a49880a4784b8ebf	Apalache	BagBagToSet	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
a8e1812e997438a2b3026e3ab188d1a4c0e375bd	Apalache	BagBagToSet	SeqHead	True	Passed	Model Under Test Equivalent Model
68aa068b1dc30cbc03ae70169c85408aaa03117b	Apalache	BagBagToSet	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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