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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
62df049d9c26066930a83f0a61cbb3487b962cac	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	OneLineComment	True	Passed	Model Under Test Equivalent Model
43cdd887490a4acbf7a7334646096a5d174f4720	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	OneLineComment	False	Passed	Model Under Test Equivalent Model
9184be818da019d5301ea55be6c3fc7bcf89ad1e	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	MultiLineComment	True	Passed	Model Under Test Equivalent Model
d76cb04c103cf634cf8cbecf6f15358d92f9dc52	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagUnion	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e85d3595e16e59946d334285c08ea468fde49d20	Apalache	BagBagUnion	Let	True	Passed	Model Under Test Equivalent Model
228a22caa0e202497206363ae2dacfcc897051f0	Apalache	BagBagUnion	Let	False	Passed	Model Under Test Equivalent Model
8ccfd85832fd0a87f02bdbff692ce0952ed1fc7e	Apalache	BagBagUnion	SetEmpty	True	Passed	Model Under Test Equivalent Model
55fc1e1f436a6e9089e4bb26d4872cf0bfd014f9	Apalache	BagBagUnion	SetEmpty	False	Passed	Model Under Test Equivalent Model
5a01c026c6d1455da238d22c892d909a9910fc7d	Apalache	BagBagUnion	Set0	True	Passed	Model Under Test Equivalent Model
0a77192f1209c77135c9307377a80e0ddd332a74	Apalache	BagBagUnion	Set0	False	Passed	Model Under Test Equivalent Model
68e41f5d2a0a3b3884971bad35502722a6d5f0f8	Apalache	BagBagUnion	Set1	True	Passed	Model Under Test Equivalent Model
fcfcad326fb460e4b13b23b2605e94d6b0db67ee	Apalache	BagBagUnion	Set1	False	Passed	Model Under Test Equivalent Model
2cb05cd6b11db355e725e1d47d0fb7c11ca0478c	Apalache	BagBagUnion	Set2	True	Passed	Model Under Test Equivalent Model
f5c4c9af99d3612a230c6bb0a6e6601a9036c0b0	Apalache	BagBagUnion	Set2	False	Passed	Model Under Test Equivalent Model
dd09a0e8693d4cefa6e31fe51d84c470b6b25d2e	Apalache	BagBagUnion	Choose	True	Passed	Model Under Test Equivalent Model
e79b0f7012af85b1f325f00135dd97340c80cfd0	Apalache	BagBagUnion	Choose	False	Passed	Model Under Test Equivalent Model
ca29cc94ebc293d94c6bee44862f61627dd3cbb9	Apalache	BagBagUnion	FunApp	True	Passed	Model Under Test Equivalent Model
3a8dcd1054088c6030b151749f34d01c49d7b83f	Apalache	BagBagUnion	FunApp	False	Passed	Model Under Test Equivalent Model
845a5887c5f8154b0abe0551d7fa8e2fc60cc691	Apalache	BagBagUnion	Prime	True	Passed	Model Under Test Equivalent Model
6b42a1772a2596d262639193d2250cf23847ea39	Apalache	BagBagUnion	Prime	False	Passed	Model Under Test Equivalent Model
24198af2cce11aee945ff269e9a885f178c2a5d9	Apalache	BagBagUnion	Def0	True	Passed	Model Under Test Equivalent Model
b508286ce1f452d2b73c74416beb27510a988a2e	Apalache	BagBagUnion	Def0	False	Passed	Model Under Test Equivalent Model
98233bb172043e221edec76b18ab044d3969d651	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef0	True	Passed	Model Under Test Equivalent Model
9e7c41dae8536e1b7d4aed03d3fcec0e21b66200	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef0	False	Passed	Model Under Test Equivalent Model
865c24560f87bcf6292c887fc14ab8f97f8ca470	Apalache	BagBagUnion	Def1	True	Passed	Model Under Test Equivalent Model
39e5cdb468d86dbd73a933e37d21f73cf34331c7	Apalache	BagBagUnion	Def1	False	Passed	Model Under Test Equivalent Model
418acd6091ac8b59bbb9ced38a0bc71b8da9ce90	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef1	True	Passed	Model Under Test Equivalent Model
783118e1fc70bdf1fa1ed31b0bb8c8995368a4f4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef1	False	Passed	Model Under Test Equivalent Model
8c321cf1c02fe241cecc4b84079804a3a0331af9	Apalache	BagBagUnion	Def2	True	Passed	Model Under Test Equivalent Model
a406b953b8b197b735c4c963b1fbf6a20acc7975	Apalache	BagBagUnion	Def2	False	Passed	Model Under Test Equivalent Model
8bfc065a633dfd55c0d6a3e3294803ae704f5de5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef2	True	Passed	Model Under Test Equivalent Model
91452d62181df9a2175c52f59d786c61ff6b9ff7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef2	False	Passed	Model Under Test Equivalent Model
2cd7e54bab075637912a3b12c2d9ad1103811670	Apalache	BagBagUnion	Def1Recursive	True	Passed	Model Under Test Equivalent Model
bc4b1e6230f9b2a6049ad4ce195f5add0307babb	Apalache	BagBagUnion	Def1Recursive	False	Passed	Model Under Test Equivalent Model
f435e4d70112ada6d883cbc8834a70432dd588dc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
126bf1c22f275bb67ee34811f7e7e028ebe0adc6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagUnion	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
24b397137bf6333a14ccf6bf28bf878923bbe099	Apalache	BagBagUnion	Extends	True	Passed	Model Under Test Equivalent Model
58283c6ce33508ccae9fbc38b6b82d21d7487be2	Apalache	BagBagUnion	Extends	False	Passed	Model Under Test Equivalent Model
08c9902b96862b8713b8d1a6cc805d8b2bdf290c	Apalache	BagBagUnion	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
a43d5fa565d5ebba0976a01301ce812a96d54232	Apalache	BagBagUnion	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
7ecb84ca58b2e32a251ef5ef6ce9c791c568317a	Apalache	BagBagUnion	Variable	True	Passed	Model Under Test Equivalent Model
111aee858a9de41d94d0bcf4b99f5116e70b11e5	Apalache	BagBagUnion	Variable	False	Passed	Model Under Test Equivalent Model
79c94bc3ea9bbc3f1786bae16c912f1c75b79d44	Apalache	BagBagUnion	Constant	True	Passed	Model Under Test Equivalent Model
883cbec0115bdc2ddd37724aecf8d7693ca9c60b	Apalache	BagBagUnion	Constant	False	Passed	Model Under Test Equivalent Model
6a7476b208205241083369cbf8c1784ac683de24	Apalache	BagBagUnion	ConstantRank1	True	Passed	Model Under Test Equivalent Model
4a0de05d1eb5e9045aea4ddd18ae9a877bfd6f98	Apalache	BagBagUnion	ConstantRank1	False	Passed	Model Under Test Equivalent Model
24a3735c772bff443d3dcdb358c1a1cdae9b4f60	Apalache	BagBagUnion	Instance	True	Passed	Model Under Test Equivalent Model
29242e7e49647aada95f559ee656845dab464cc9	Apalache	BagBagUnion	Instance	False	Passed	Model Under Test Equivalent Model
ffcf31c9eb2801366ed1168550818a8dc2b54b2c	Apalache	BagBagUnion	InstanceWith	True	Passed	Model Under Test Equivalent Model
28d90cb3e1d6096fb1b48a3c7b37c6c59030ef61	Apalache	BagBagUnion	InstanceWith	False	Passed	Model Under Test Equivalent Model
2b0684d3a1bd1a68a0760c8d231e26a6cf9eb2c4	Apalache	BagBagUnion	InstanceNamed	True	Passed	Model Under Test Equivalent Model
61a5e0dc773c82b6e113877b16cb0086965b2cbe	Apalache	BagBagUnion	InstanceNamed	False	Passed	Model Under Test Equivalent Model
9912352cf389eac2e00b0700bffaf7af7abe2ac9	Apalache	BagBagUnion	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
305e7996d622ff178fd7a5f3620b752d354b8056	Apalache	BagBagUnion	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
6a3e246653e07a225232c6aa31974dd09bad32c8	Apalache	BagBagUnion	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
4a02fa77e7c0649bb7b1d1549dfb9c42204abb0d	Apalache	BagBagUnion	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
8ab7b2458b5f0d6589118494ef2fd160afab5cd2	Apalache	BagBagUnion	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
34e4dada5c6b93edf0665db251fcb9af0953ab1a	Apalache	BagBagUnion	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d0d7549fb45bfebdb9750f6b9ccd1ddcc01b5db7	Apalache	BagBagUnion	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
2ea312a0b7f355ab6ffe411be021ec91ce5786a0	Apalache	BagBagUnion	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
de6b127a6e947a0e3004e7b32aabdf35d7224ac0	Apalache	BagBagUnion	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
daa6b65f29ec8ab2df309ed188f77ab15150dd09	Apalache	BagBagUnion	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
c6ee7206a262d25267e8d14f994f288747b55d4a	Apalache	BagBagUnion	SetDiff	True	Passed	Model Under Test Equivalent Model
05685c8489a65f6310549a286f8110fb7352ad25	Apalache	BagBagUnion	SetDiff	False	Passed	Model Under Test Equivalent Model
5853f70035c96f3811a504ba5cfe22fb5fce5dc2	Apalache	BagBagUnion	SetUnion	True	Passed	Model Under Test Equivalent Model
ae4386f5346ffc9f39b07da477ccff59e8cc65c7	Apalache	BagBagUnion	SetUnion	False	Passed	Model Under Test Equivalent Model
1fedd504df1705cb8cfe18d1c96f9afdffdd47dd	Apalache	BagBagUnion	SetIntersect	True	Passed	Model Under Test Equivalent Model
37f6c37b25de7e3bd864b4f40adaf4dfb8621ad8	Apalache	BagBagUnion	SetIntersect	False	Passed	Model Under Test Equivalent Model
3063769ee281ff93b41c69363f24dcaf448f7037	Apalache	BagBagUnion	IfCond	True	Passed	Model Under Test Equivalent Model
8766022f27ab2b753a449295d90f7f3eda41b243	Apalache	BagBagUnion	IfCond	False	Passed	Model Under Test Equivalent Model
20e040c2937ee3966ab4930d1d1b21577851beab	Apalache	BagBagUnion	IfThen	True	Passed	Model Under Test Equivalent Model
5d460eb37cca564beb60dadbb1b658273298326c	Apalache	BagBagUnion	IfThen	False	Passed	Model Under Test Equivalent Model
01778873471a634f7e33929afac4df7774b385e2	Apalache	BagBagUnion	IfElse	True	Passed	Model Under Test Equivalent Model
cc47003393124f97c44e6cc2e72339f407aea014	Apalache	BagBagUnion	IfElse	False	Passed	Model Under Test Equivalent Model
8d981e923e046602eac9e9573da0f12a8c071931	Apalache	BagBagUnion	Domain	True	Passed	Model Under Test Equivalent Model
d875314d96184ebdef9a5bb1443ab6306314197e	Apalache	BagBagUnion	Domain	False	Passed	Model Under Test Equivalent Model
663f5324c2166643a5fa1ba42828fc65c8d037a3	Apalache	BagBagUnion	Union	True	Passed	Model Under Test Equivalent Model
fb205cafeb906f7e448bad98c5cd99b7b6c55918	Apalache	BagBagUnion	Union	False	Passed	Model Under Test Equivalent Model
ae81c598a476733cd189f6701eddb802f0acac64	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagUnion	TlcEval	True	Passed	Model Under Test Equivalent Model
167ad80e93128c686faf70aff367cf14bc880cf0	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagUnion	TlcEval	False	Passed	Model Under Test Equivalent Model
255e9f2fa1a535d6b32bbe8e294b1cc5614cf47d	Apalache	BagBagUnion	BagBagToSet	True	Passed	Model Under Test Equivalent Model
82672da237fc0ee29459832baf3379662e067a33	Apalache	BagBagUnion	BagBagToSet	False	Passed	Model Under Test Equivalent Model
dcedfaad8e6e519ff511837aa4d630bdaf42830b	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagBagUnion	BagSubBag	True	Passed	Model Under Test Equivalent Model
e8816cdf6082e9fb49128fde338d9229af55ae91	TLC with reduction strategy: Plug Feature: SubBag(B) is reduced to equivalent SubBagR implementation	BagBagUnion	BagSubBag	False	Passed	Model Under Test Equivalent Model
c7b36a125502398b6c8a180e0fa43d8d04599b9b	Apalache	BagBagUnion	SeqHead	True	Passed	Model Under Test Equivalent Model
8b5a9448842b24f38c6089fab1957752a538df80	Apalache	BagBagUnion	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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