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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
ba90a33408be44ea7736d70e58a3be820ed5a3f6	Apalache	Eq	SetUnion	True	Passed	Model Under Test Equivalent Model
26b4a1652c3a93a38e0a4a823258bc76310d9fdb	Apalache	Eq	SetUnion	False	Passed	Model Under Test Equivalent Model
ee09d48e5de1b297f562b3ebfbbb128a0ee19ed2	Apalache	Ne	SetUnion	True	Passed	Model Under Test Equivalent Model
6a15b294eb2bb996b663848ec5611a5c57957827	Apalache	Ne	SetUnion	False	Passed	Model Under Test Equivalent Model
7424f24f83e7b3dbfefd52892f59d0b775efa5a7	Apalache	Let	SetUnion	True	Passed	Model Under Test Equivalent Model
27456c38179d0f4d767e9298a4a24c72370e9b5d	Apalache	Let	SetUnion	False	Passed	Model Under Test Equivalent Model
ce11141db2857f5330526855cf522a75edd76728	Apalache	Set0	SetUnion	True	Passed	Model Under Test Equivalent Model
a00b491a71ef47b10998ce69377604d34946e641	Apalache	Set0	SetUnion	False	Passed	Model Under Test Equivalent Model
6a653f435720955048e8b1388937d6b0afdce48e	Apalache	Set1	SetUnion	True	Passed	Model Under Test Equivalent Model
9f0e541aa5ece8b8715962ee381ae65a916f6522	Apalache	Set1	SetUnion	False	Passed	Model Under Test Equivalent Model
4f8032e8e4a3cb3aecabc603feb44951313dc987	Apalache	Set2	SetUnion	True	Passed	Model Under Test Equivalent Model
cc7f91e14a7b6c366d0f7ce5627c5af9276588dd	Apalache	Set2	SetUnion	False	Passed	Model Under Test Equivalent Model
38bc7bb58b9daceaeb54fbd6e559d162b5aa61ab	Apalache	Fun	SetUnion	True	Passed	Model Under Test Equivalent Model
0dfc9a464054f9c7730ad7ccb3103e7c31ba4398	Apalache	Fun	SetUnion	False	Passed	Model Under Test Equivalent Model
6944782d2d75c7b8acf8d1b618cdc6349ff9cbc6	Apalache	In	SetUnion	True	Passed	Model Under Test Equivalent Model
4fe2a8ada2ab8032a1a4434e8ccd2c6632a455c4	Apalache	In	SetUnion	False	Passed	Model Under Test Equivalent Model
a6e666479ab52b765f5338a73a1955a740f18c4a	Apalache	NotIn	SetUnion	True	Passed	Model Under Test Equivalent Model
9f342f798e25affa627378096f0e0eb4fb409651	Apalache	NotIn	SetUnion	False	Passed	Model Under Test Equivalent Model
37228fa77e8dee7d2f9c60a1b7b1beda097d4ae1	Apalache	Record	SetUnion	True	Passed	Model Under Test Equivalent Model
255b0c1353c89399b938e8383c120192dba390c7	Apalache	Record	SetUnion	False	Passed	Model Under Test Equivalent Model
83b7087957e0d54218e8f88b9f53ab59e338fdda	Apalache	Tuple	SetUnion	True	Passed	Model Under Test Equivalent Model
42708250cccd38c55e5f4155cebb480b56bf5d75	Apalache	Tuple	SetUnion	False	Passed	Model Under Test Equivalent Model
253e7c7b31440ca4cd6e7e3b4bf1b72be693c297	Apalache	FunApp	SetUnion	True	Passed	Model Under Test Equivalent Model
93313d759fa3110a506b45eb9a0a6617b6d20ed6	Apalache	FunApp	SetUnion	False	Passed	Model Under Test Equivalent Model
82724a8ced0eaf2e71f99f26d1cb6de0120af1a6	Apalache	Except1Fun	SetUnion	True	Passed	Model Under Test Equivalent Model
6782d9873792abce686fce27da7ff29dc48b8fa7	Apalache	Except1Fun	SetUnion	False	Passed	Model Under Test Equivalent Model
0ac81ed87ea38b4253f812548cd7496f1c187fdf	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetUnion	True	Passed	Model Under Test Equivalent Model
0db2eef9d9eba2b8fb0f45fe4eb0300a69a75934	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	SetUnion	False	Passed	Model Under Test Equivalent Model
da92380fec7cc8855b787fba53e3dcf76fc0bd44	Apalache	Except1Rec	SetUnion	True	Passed	Model Under Test Equivalent Model
cdeeff3cc473e1b1d62314a699649146ca794715	Apalache	Except1Rec	SetUnion	False	Passed	Model Under Test Equivalent Model
d600753a85fd024e28dade6f475e9720fff16a0b	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetUnion	True	Passed	Model Under Test Equivalent Model
08905fc38ac557fe4a568c1e574e51f1c02af224	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	SetUnion	False	Passed	Model Under Test Equivalent Model
c18bce094fb6e8cf00968019f29498a8e53e579a	Apalache	Except2Fun	SetUnion	True	Passed	Model Under Test Equivalent Model
aa57397fd8e5c9f53b54226c3cb09876bd4f5647	Apalache	Except2Fun	SetUnion	False	Passed	Model Under Test Equivalent Model
5d16ffcd250148517046e88a99d5a35d308239b4	Apalache	Prime	SetUnion	True	Passed	Model Under Test Equivalent Model
4f29d36647086820f816ff16424076ebc824a3a7	Apalache	Prime	SetUnion	False	Passed	Model Under Test Equivalent Model
4992b9ed2201c888a6bc1332c7168ae751b88c05	Apalache	DefFun	SetUnion	True	Passed	Model Under Test Equivalent Model
e633a4eed98f79637b64435ca1b9c5c09b6bfffa	Apalache	DefFun	SetUnion	False	Passed	Model Under Test Equivalent Model
d779f621c1371e2a91309283d720804ec9b26bd7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetUnion	True	Passed	Model Under Test Equivalent Model
bea83dd33b45bb61f1c54822cd9f412a34bc5270	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	SetUnion	False	Passed	Model Under Test Equivalent Model
14c3c42858b349c8773b8f8a4798e88b19513a23	Apalache	DefFunRecursive	SetUnion	True	Passed	Model Under Test Equivalent Model
b43378d8aeecba4c4f6c49c11e7096e0b20606b1	Apalache	DefFunRecursive	SetUnion	False	Passed	Model Under Test Equivalent Model
360c7d7b254ed789c4f5ee8c96ca0eff2c65fd44	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetUnion	True	Passed	Model Under Test Equivalent Model
95cfde5f3cd28bc778f36c80d9788d640303227c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	SetUnion	False	Passed	Model Under Test Equivalent Model
36cbf24cb11af4dfb6f5c6fc4456f8d589562480	Apalache	Def0	SetUnion	True	Passed	Model Under Test Equivalent Model
e31ef5fd6e30a3471b9cfec20bfb4a81228f43c6	Apalache	Def0	SetUnion	False	Passed	Model Under Test Equivalent Model
e8d261f046769d64a2d0d83593d4326545577e52	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetUnion	True	Passed	Model Under Test Equivalent Model
fe1d1ad04e8e7f175fafe7353f87e46be7962891	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	SetUnion	False	Passed	Model Under Test Equivalent Model
afb7840ec2bbad6a315c80807015a18a482a4908	Apalache	Def1	SetUnion	True	Passed	Model Under Test Equivalent Model
54d9a3ed6cb3e5294564a3974d85b57ec9dcf46c	Apalache	Def1	SetUnion	False	Passed	Model Under Test Equivalent Model
29aef3541b2f2b2ff1f841893e4fd42cc2dd3f32	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetUnion	True	Passed	Model Under Test Equivalent Model
62fe15e2d59f6b7097f86adefc2211d951e662b1	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	SetUnion	False	Passed	Model Under Test Equivalent Model
819658afbbcfe1fc7cf04ec5e2dd20aed0d5fb54	Apalache	Def2	SetUnion	True	Passed	Model Under Test Equivalent Model
f2af1047b34c18b73b1241daaf0cc2600fad8322	Apalache	Def2	SetUnion	False	Passed	Model Under Test Equivalent Model
930d81a7f505466faa5e08fad530e92174e14c31	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetUnion	True	Passed	Model Under Test Equivalent Model
a36d136616ec3f293e2192de0dfb90c3e61e6ee8	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	SetUnion	False	Passed	Model Under Test Equivalent Model
d68fd2407b2f9657802fa8075bf0feab31052f53	Apalache	Def1Recursive	SetUnion	True	Passed	Model Under Test Equivalent Model
5d3f27821a0a0dfec20bc7256be8973f35720ba5	Apalache	Def1Recursive	SetUnion	False	Passed	Model Under Test Equivalent Model
f5d7704224b131d8c7aa9bc686ba012b71f9a24c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetUnion	True	Passed	Model Under Test Equivalent Model
df97fd47af8d87b84eb2d698d64dff55d848bf56	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	SetUnion	False	Passed	Model Under Test Equivalent Model
7477576fc592a21247905ddf890929cb2e65e813	Apalache	Extends	SetUnion	True	Passed	Model Under Test Equivalent Model
d4e8aa6bc54f41f181017ec82ef1da8f23b3580a	Apalache	Extends	SetUnion	False	Passed	Model Under Test Equivalent Model
c8bc92c2a0ffd0ed3bbb72df3881b6e840b9ef49	Apalache	ExtendsInDifferentFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
66d7d82ae4b2f7bcb97d3fe74e815b5445185fef	Apalache	ExtendsInDifferentFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
9e138b87190f725de575821f3d2083032bc939bd	Apalache	Variable	SetUnion	True	Passed	Model Under Test Equivalent Model
9a355e5c17ce57e26ab3bca9ee053978d20ffecc	Apalache	Variable	SetUnion	False	Passed	Model Under Test Equivalent Model
abd16ec4538581a5b5193163ef0f7c327efac51d	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetUnion	True	Passed	Model Under Test Equivalent Model
126b315f12431cf3461c96f6bc95abecbf87ae71	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	SetUnion	False	Passed	Model Under Test Equivalent Model
8da36dc7512c9b94c83ae9cf018ff7187b19450f	Apalache	Constant	SetUnion	True	Passed	Model Under Test Equivalent Model
0db4733b7920f45dd7bb1a6777365fd67e6ab0c1	Apalache	Constant	SetUnion	False	Passed	Model Under Test Equivalent Model
bc5a100d8af8eeca2dba342a127a9b81aa379a2b	Apalache	ConstantRank1	SetUnion	True	Passed	Model Under Test Equivalent Model
af01141991cc99b07e78be47c30a6e4721e44365	Apalache	ConstantRank1	SetUnion	False	Passed	Model Under Test Equivalent Model
97f356e211dc0b38dfba6009a2923ca9994f9e91	Apalache	Instance	SetUnion	True	Passed	Model Under Test Equivalent Model
b658d4a6f2224c8f631f49a6fecd3aabffd6ea25	Apalache	Instance	SetUnion	False	Passed	Model Under Test Equivalent Model
f9bab0e5fda9d0cae586cd344d8fec1128ee8b9c	Apalache	InstanceWith	SetUnion	True	Passed	Model Under Test Equivalent Model
53c71824eeae689aa603cb5ea2c3cc2b8c197148	Apalache	InstanceWith	SetUnion	False	Passed	Model Under Test Equivalent Model
94c2515cc6726460b39ade3300f3313986ce2d03	Apalache	InstanceNamed	SetUnion	True	Passed	Model Under Test Equivalent Model
183a360e9bbd13804246e38fb93e24c5a73a2f07	Apalache	InstanceNamed	SetUnion	False	Passed	Model Under Test Equivalent Model
6359b364fed95fc3236b5ef2b28c33441b2b46c5	Apalache	InstanceNamedWith	SetUnion	True	Passed	Model Under Test Equivalent Model
de630c6d2661781275f4356fd6a48f1d5e92a2cf	Apalache	InstanceNamedWith	SetUnion	False	Passed	Model Under Test Equivalent Model
79f430e7b4f4f02033afbc500401e5169c01e0af	Apalache	InstanceInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
a56d7eaad55544d1522eb33260a369a775daed93	Apalache	InstanceInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
0fd6f770f38edfafb6bdb900aed468fe11dd113b	Apalache	InstanceWithInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
0be7a7b8fba46af1c6fef5ca8d0cebc096f53fd5	Apalache	InstanceWithInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
7562d50a61c2e689d80e1243b9e07526817ba716	Apalache	InstanceNamedInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
9f459238858fe0ce096ff6f030cc2b857ef56c7a	Apalache	InstanceNamedInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
70284b4eac9ad3d59109fb17687a963d69c6ee6d	Apalache	InstanceNamedWithInFolder	SetUnion	True	Passed	Model Under Test Equivalent Model
bce98ba21aae95740c1b61897d29ed5116dbf362	Apalache	InstanceNamedWithInFolder	SetUnion	False	Passed	Model Under Test Equivalent Model
b6d4207eac7a977ff5e708d03510a9f7782963c0	Apalache	Lambda	SetUnion	True	Passed	Model Under Test Equivalent Model
a49973b821c6f57549e62c6adabe6619688f6bbf	Apalache	Lambda	SetUnion	False	Passed	Model Under Test Equivalent Model
f335d2e8469d11d3aae9c23790316d9f522e1ac9	Apalache	Cross2	SetUnion	True	Passed	Model Under Test Equivalent Model
e41a9e16c100c41252fed05a674ffad33f0b9ae9	Apalache	Cross2	SetUnion	False	Passed	Model Under Test Equivalent Model
ee9114d94bc6a7f7b7f9ba04cae113b167cd3bca	Apalache	Cross3	SetUnion	True	Passed	Model Under Test Equivalent Model
170d10fe6c1736d651b248b2c2e29093b91d2433	Apalache	Cross3	SetUnion	False	Passed	Model Under Test Equivalent Model
a372345f115f6c07800f366cba4330377d4174f8	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	FunSet	SetUnion	True	Passed	Model Under Test Equivalent Model
3d4e00d6c25030f2067568930639ee8df2e07f7a	TLC with reduction strategy: Case Feature: For finite R replace [D -> R] with explicit function set enumeration; for infinite R replace (f \in [D -> R]) with conjunction (DOMAIN f = D /\ (\A x \in D : f[x] \in R))	FunSet	SetUnion	False	Passed	Model Under Test Equivalent Model
68682dc7ea1acf90c51cd519469f2a1e8a059ddf	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	RecordSet	SetUnion	True	Passed	Model Under Test Equivalent Model
e3431cd996ec1c5583bc7be4cb768f085d22bb7f	TLC with reduction strategy: Case Feature: For finite R replace [field : R] with explicit function set enumeration; for infinite R replace (f \in [field : R]) with conjunction (DOMAIN f = {'field'} /\ f['field'] \in R)	RecordSet	SetUnion	False	Passed	Model Under Test Equivalent Model
789b549272813cbd7ea4dd09ec42773ff11c55b9	Apalache	SetDiff	SetUnion	True	Passed	Model Under Test Equivalent Model
f903582e33409c5bf6190e2276aa9258901cff21	Apalache	SetDiff	SetUnion	False	Passed	Model Under Test Equivalent Model
f1f8aeffd36e46ccc98cc7cb10c20428789b5d77	Apalache	SetUnion	SetUnion	True	Passed	Model Under Test Equivalent Model
cc080b61c09cb1518a6a9caf50e86bc92c014c5d	Apalache	SetUnion	SetUnion	False	Passed	Model Under Test Equivalent Model
ad4cee448422abf5c9f7976375a013ed6aa5bfd8	Apalache	SetIntersect	SetUnion	True	Passed	Model Under Test Equivalent Model
48afde26469535b7fae51cec08275ddd20130669	Apalache	SetIntersect	SetUnion	False	Passed	Model Under Test Equivalent Model
e8340dd3c92194ec39aaae29e05b4adba169488e	Apalache	SubsetEq	SetUnion	True	Passed	Model Under Test Equivalent Model
f247d34f6faf773913b7e0bfc82ab632d9237045	Apalache	SubsetEq	SetUnion	False	Passed	Model Under Test Equivalent Model
92eb0df6770924975e8308acaff101c086a6b7b6	Apalache	IfThen	SetUnion	True	Passed	Model Under Test Equivalent Model
76b740a606e9d9e2a8486c88b97594d6649ba636	Apalache	IfThen	SetUnion	False	Passed	Model Under Test Equivalent Model
cede0d0cea85d24d0a16fc8fd511075ad8cfbb88	Apalache	IfElse	SetUnion	True	Passed	Model Under Test Equivalent Model
e5cb220e8188f69899794a41dc67c84cbe185479	Apalache	IfElse	SetUnion	False	Passed	Model Under Test Equivalent Model
6964dfa5077cd44a45f13e5920fd4c4905ec4d85	Apalache	Subset	SetUnion	True	Passed	Model Under Test Equivalent Model
59f027414f1dbb2f7dc0ce875465042146735ac6	Apalache	Subset	SetUnion	False	Passed	Model Under Test Equivalent Model
3ea03eaa5261993eac583f46d73d2813a969f4d9	Apalache	Union	SetUnion	True	Passed	Model Under Test Equivalent Model
607545577658e9a2aad0ded26b5fc9c31a28b1db	Apalache	Union	SetUnion	False	Passed	Model Under Test Equivalent Model
30fddc9f66948bf4b17fe85b952c4891364fdf1b	Apalache	Unchanged	SetUnion	True	Passed	Model Under Test Equivalent Model
2dbe8b675f99dbd294ef85c37da1f035f0b34dd3	Apalache	Unchanged	SetUnion	False	Passed	Model Under Test Equivalent Model
ac607d85237a57ecd1eceef9c6b365182300b1d3	Apalache	SeqSeq	SetUnion	True	Passed	Model Under Test Equivalent Model
ac34bf4b2ceb269f2b99a169e3c50fef6c6ec6ac	Apalache	SeqSeq	SetUnion	False	Passed	Model Under Test Equivalent Model
82b2fb369c77c8958ae6e9baf125d2f9ce1a6d3d	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetUnion	True	Passed	Model Under Test Equivalent Model
f685f840d03124d16f4622332513683eecb7741d	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	SetUnion	False	Passed	Model Under Test Equivalent Model
409205b6cecf09efb85a4b3bf80c4142c76aaef6	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetUnion	True	Passed	Model Under Test Equivalent Model
210aec81b32e23640871e36c3ac1a47fe72ecf2b	TLC with reduction strategy: Case Feature: Permutations(S) is reduced to equivalent: { f \in [S -> S] : { f[u] : u \in S } = S }	TlcPermuteFun	SetUnion	False	Passed	Model Under Test Equivalent Model
ce0256ce69429849c23526f8e063a45226b3b86c	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetUnion	True	Passed	Model Under Test Equivalent Model
fd31256cfe65b6e88532dba66609f6a307a83483	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	SetUnion	False	Passed	Model Under Test Equivalent Model
e6bdaebcbdbe5ef6d7364db149c12fa4db1c0854	Apalache	BagSetToBag	SetUnion	True	Passed	Model Under Test Equivalent Model
d49e5ddd83dcabd8bb5d7d78f680c0eab106a516	Apalache	BagSetToBag	SetUnion	False	Passed	Model Under Test Equivalent Model
a4e6e992442117fa25f79e0374b3f8c33319f6c7	Apalache	BagBagIn	SetUnion	True	Passed	Model Under Test Equivalent Model
5ae93dd4dd9664eb7cf2b5f9270f00a9c860e666	Apalache	BagBagIn	SetUnion	False	Passed	Model Under Test Equivalent Model
0f746aaa6b16e050296ddfa7fa7fd534be16bae4	Apalache	BagCopiesIn	SetUnion	True	Passed	Model Under Test Equivalent Model
68f9090e3fd59715b5a2a90e5ce229da90462f24	Apalache	BagCopiesIn	SetUnion	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
282e79390ae050fdfc0f54bf640f10a476fe68d2	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	FiniteSetsIsFiniteSet	SetUnion	True	Passed	Model Under Test Equivalent Model
9a00120b68332347989a59a86e12670e4b3e328d	TLC with reduction strategy: Case Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)	FiniteSetsIsFiniteSet	SetUnion	False	Passed	Model Under Test Equivalent Model
a2ac0613b33b0a22de6d6f087350609f8e7173da	Apalache	FiniteSetsCardinality	SetUnion	True	Passed	Model Under Test Equivalent Model
3d928566c481448ca6f7c6bc9a63627b525cb54e	Apalache	FiniteSetsCardinality	SetUnion	False	Passed	Model Under Test Equivalent Model
db8d6ed6476a15368ba147c622c1c72b6f998710	Apalache	SeqAppend	SetUnion	True	Passed	Model Under Test Equivalent Model
8fc3f89385d49f778666f3eae06303b28650f700	Apalache	SeqAppend	SetUnion	False	Passed	Model Under Test Equivalent Model

Index

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