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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
65551d195b81fa994eb8a1ae36db5469fdd8e2f7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	OneLineComment	True	Passed	Model Under Test Equivalent Model
43f01762fa8d51f510f72b0f71ddc4ff0fe62f7f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	OneLineComment	False	Passed	Model Under Test Equivalent Model
cceaeb21bd3a10d112abcbf4ee12a9bb6c2cff85	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	MultiLineComment	True	Passed	Model Under Test Equivalent Model
fffb3804321f7347f67e893cac106e294c3430b8	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagSub	MultiLineComment	False	Passed	Model Under Test Equivalent Model
7bbc1c1cb749b8b46b8ab0711dca2b01c01ec229	Apalache	BagBagSub	Let	True	Passed	Model Under Test Equivalent Model
3bacd82867af22fc43961e134eafe30ba8b24d12	Apalache	BagBagSub	Let	False	Passed	Model Under Test Equivalent Model
286113d092a0818f6e35dca331fb8ef16745d4e0	Apalache	BagBagSub	Choose	True	Passed	Model Under Test Equivalent Model
70d6a11324bed0b9c70683b30ba86ae28bcc5ab8	Apalache	BagBagSub	Choose	False	Passed	Model Under Test Equivalent Model
461959f5a9c61407e45c86b0ee978df494fa5333	Apalache	BagBagSub	FunApp	True	Passed	Model Under Test Equivalent Model
5430459ee2687c0cecf71420c1089f126e2351fe	Apalache	BagBagSub	FunApp	False	Passed	Model Under Test Equivalent Model
9918b5cfc55607839595e3b520dcf144f4035552	Apalache	BagBagSub	Prime	True	Passed	Model Under Test Equivalent Model
c47f66f87c74780d69823594a700c7fb15fe2d8f	Apalache	BagBagSub	Prime	False	Passed	Model Under Test Equivalent Model
69a3d9f06be7dad4b04e638fe7e94e1fb6a1308e	Apalache	BagBagSub	Def0	True	Passed	Model Under Test Equivalent Model
34de02ca27054794860cfdf1672f6248981c8662	Apalache	BagBagSub	Def0	False	Passed	Model Under Test Equivalent Model
909c4c22b62c7bbc2f3c26b12775204122ba7d76	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef0	True	Passed	Model Under Test Equivalent Model
79f5f0ff4be18c08d6253fdb6ed98c5f5ed37cdc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef0	False	Passed	Model Under Test Equivalent Model
a211b295a35e8463862c0b6d9f5812bab836b89a	Apalache	BagBagSub	Def1	True	Passed	Model Under Test Equivalent Model
2359446310fb3cf243843a98ef228bf3b89d5628	Apalache	BagBagSub	Def1	False	Passed	Model Under Test Equivalent Model
bb94a2017bb8b25a693550552f08e956dd60b6d6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef1	True	Passed	Model Under Test Equivalent Model
e25a1cba8467f0e66c704655b2d57b2e4be6c5df	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef1	False	Passed	Model Under Test Equivalent Model
fa12f64e3b8aa820a300106f6cb5ebcdc3a4a87f	Apalache	BagBagSub	Def2	True	Passed	Model Under Test Equivalent Model
a8322ee7805329595b70cb2bea92ca14f99c51c4	Apalache	BagBagSub	Def2	False	Passed	Model Under Test Equivalent Model
8db7de91bdf2148c367466e6351ce5f4e0084e38	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef2	True	Passed	Model Under Test Equivalent Model
417235db93f94391971535488c341cecb2650244	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef2	False	Passed	Model Under Test Equivalent Model
9ed01d36d4e2e72b45f00f4226e12835aa1e6369	Apalache	BagBagSub	Def1Recursive	True	Passed	Model Under Test Equivalent Model
732915111ebaef2e27c225c269df15647bb1b35b	Apalache	BagBagSub	Def1Recursive	False	Passed	Model Under Test Equivalent Model
395488641163ce3f9bbb0262157ddcfb5393b86e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
2c53ccd3730acd6b8f1c83c7dcf8f9a9744b788e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagSub	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
8f6ee2441a30227769391f2a9116507926b5bb2b	Apalache	BagBagSub	Extends	True	Passed	Model Under Test Equivalent Model
7eebb734cdfe9e54fc44236f0f005ce3df5cfeac	Apalache	BagBagSub	Extends	False	Passed	Model Under Test Equivalent Model
6d0dbf0ca3fc6349a71420af7686729a39b6c2f2	Apalache	BagBagSub	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
cdffbe9ae0b14a121a45cd7f75cb1562dc455b6f	Apalache	BagBagSub	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
443a623171843832de85bbc34c48d78bd767e2a9	Apalache	BagBagSub	Variable	True	Passed	Model Under Test Equivalent Model
978ae4b60a561d9ee44b377c21cc4e41e5299476	Apalache	BagBagSub	Variable	False	Passed	Model Under Test Equivalent Model
535e88e5488139e7aead6ed5f2711ff403bc043c	Apalache	BagBagSub	Constant	True	Passed	Model Under Test Equivalent Model
1607977c4ff960ac17dd6562735f97dabc952a7b	Apalache	BagBagSub	Constant	False	Passed	Model Under Test Equivalent Model
3fece4a0ace37b4eb3193b2e93f7539d7ec2d07e	Apalache	BagBagSub	ConstantRank1	True	Passed	Model Under Test Equivalent Model
925c68a0633b94a299cf691de8d74b4e1fe192e7	Apalache	BagBagSub	ConstantRank1	False	Passed	Model Under Test Equivalent Model
4b2652308aa452a32c64387fa724b02a4cbcbd86	Apalache	BagBagSub	Instance	True	Passed	Model Under Test Equivalent Model
b13e40f53a1ab356128d15148ff3b6c6b045260a	Apalache	BagBagSub	Instance	False	Passed	Model Under Test Equivalent Model
72369da98ff797f96ffb0bbee2b79bb15dcebda6	Apalache	BagBagSub	InstanceWith	True	Passed	Model Under Test Equivalent Model
cc2e3e9d531e70b394ca9397dde8add48af8a53d	Apalache	BagBagSub	InstanceWith	False	Passed	Model Under Test Equivalent Model
b95d276d828a6440048c0185d191d14b04b523d6	Apalache	BagBagSub	InstanceNamed	True	Passed	Model Under Test Equivalent Model
a03ebdc7eccbc584e0569da9982b6fd49e8a27dc	Apalache	BagBagSub	InstanceNamed	False	Passed	Model Under Test Equivalent Model
3ae226248b05d4df8a77cdc28255870a8028baa2	Apalache	BagBagSub	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
b1860fbcd6204091eaefaa7c48d533fef32dbc61	Apalache	BagBagSub	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
1a98969576b61e01d5f1698de377091b22241e04	Apalache	BagBagSub	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
f970f0d86ddd36cfdea4e781a3697b7fb90154db	Apalache	BagBagSub	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1c2c5562a0c3dc17efb63bf8785dba6dade18744	Apalache	BagBagSub	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
6c77cdd9e7163cfdefe71786f8a1a77324f42a29	Apalache	BagBagSub	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
1ea2cfe7f1562e4bb48ef29902bc7c2a74b255f6	Apalache	BagBagSub	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
4262fd316a53e4c1d866c0133f51ffd3eba58832	Apalache	BagBagSub	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
8e0e415346e6ea1802f7cb07a5e5d4b5108ec16f	Apalache	BagBagSub	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
3e3fd6552693f90c44547533eace8feaec3dcf74	Apalache	BagBagSub	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
96004a7a0bfa86a1912d05fc39c68f3b7a483361	Apalache	BagBagSub	IfCond	True	Passed	Model Under Test Equivalent Model
c61fb01f834f27c6d99966b6309e9ea8cd93d7e4	Apalache	BagBagSub	IfCond	False	Passed	Model Under Test Equivalent Model
0ef75add33f92b3a1e59587b32d688b3c95b0c4e	Apalache	BagBagSub	IfThen	True	Passed	Model Under Test Equivalent Model
59dcbfe26f385bd2d8f71312dc33ae8029ea5243	Apalache	BagBagSub	IfThen	False	Passed	Model Under Test Equivalent Model
dd0bbb97fbfcf8bf5402f80f9c5c991a87418da8	Apalache	BagBagSub	IfElse	True	Passed	Model Under Test Equivalent Model
e391216f19a354f8eb8fec685623acbb1ec6003d	Apalache	BagBagSub	IfElse	False	Passed	Model Under Test Equivalent Model
a59eaec5c9b77c15e2d251c19598dcd6c30512fe	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagSub	TlcEval	True	Passed	Model Under Test Equivalent Model
0984bc73275f6666cd8fb8245b6db78b5e07da2c	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagSub	TlcEval	False	Passed	Model Under Test Equivalent Model
15525737fa036738b717b84d58d1046f3797fa1d	Apalache	BagBagSub	BagSetToBag	True	Passed	Model Under Test Equivalent Model
3a86b31c29d9bd492d0e976811b2b3b77c77785f	Apalache	BagBagSub	BagSetToBag	False	Passed	Model Under Test Equivalent Model
b65ab01e0857900bd08bd24be9323a88f934c9d3	Apalache	BagBagSub	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
367d58040eb2c794f24afb546fc180fbcbc3917c	Apalache	BagBagSub	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
f4703045e6c47e1e7923cb1ded5392086cd2856b	Apalache	BagBagSub	BagAddBag	True	Passed	Model Under Test Equivalent Model
8a68c7c78f96b1e5b4c4248dfd344f7d88a8f4e3	Apalache	BagBagSub	BagAddBag	False	Passed	Model Under Test Equivalent Model
c979b078d51a3e1574de96eae0219a75b0d5cc08	Apalache	BagBagSub	BagBagSub	True	Passed	Model Under Test Equivalent Model
e9f0992cf1b6dbce1a403ad63b9627342e94fba4	Apalache	BagBagSub	BagBagSub	False	Passed	Model Under Test Equivalent Model
c278dd4970eeac928a3b4298b29ad286ce3f5d3e	Apalache	BagBagSub	BagBagUnion	True	Passed	Model Under Test Equivalent Model
9878345c3df0e1b0a8fd6df812219819183aec97	Apalache	BagBagSub	BagBagUnion	False	Passed	Model Under Test Equivalent Model
d0fcb363b041eb40fe7c4aeb336567feda19df8d	Apalache	BagBagSub	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
37b79e418178693f651f209a3c715ac8bdb44c16	Apalache	BagBagSub	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
a13bab5a8182ed9748e6b25ddd4f85e47c7280c6	Apalache	BagBagSub	SeqHead	True	Passed	Model Under Test Equivalent Model
98da7c2c0aeda42d41638daba40c4e2b2966d534	Apalache	BagBagSub	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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