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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
73d187d88a9c06e2d62d8e0728e593eb220d32db	Apalache	SeqConcat	Let	True	Passed	Model Under Test Equivalent Model
3e5002fb791b1dd8331256ce1a0bb6a237175162	Apalache	SeqConcat	Let	False	Passed	Model Under Test Equivalent Model
fd366958454b1c6afe6550bf41f3a0f0fbbdb193	Apalache	SeqConcat	Choose	True	Passed	Model Under Test Equivalent Model
857b3801cf78029fc6b05bdf693317e6c4ccfdf9	Apalache	SeqConcat	Choose	False	Passed	Model Under Test Equivalent Model
5dbb96bc039873472fb864aa451b4529186069f8	Apalache	SeqConcat	Tuple	True	Passed	Model Under Test Equivalent Model
2836fd39fe422767c336f5974dbe403e75b22159	Apalache	SeqConcat	Tuple	False	Passed	Model Under Test Equivalent Model
831bfbbf14bf0c3d22f99117b611d86d7dd187f9	Apalache	SeqConcat	TupleEmpty	True	Passed	Model Under Test Equivalent Model
7acc549d089fe981f6e13852e93fa5b9a2ef6b1b	Apalache	SeqConcat	TupleEmpty	False	Passed	Model Under Test Equivalent Model
bdc7443e61cadaf366e4c5f45d639365a701337f	Apalache	SeqConcat	FunApp	True	Passed	Model Under Test Equivalent Model
2e484f42d8b8188ce72cfefc8a9d1e34e7904d27	Apalache	SeqConcat	FunApp	False	Passed	Model Under Test Equivalent Model
2094e300a13b057694f448ce89aefb9cc8d93e7f	Apalache	SeqConcat	Prime	True	Passed	Model Under Test Equivalent Model
c88304f9e00eeca31ff5d64e9c3da7911a0167ec	Apalache	SeqConcat	Prime	False	Passed	Model Under Test Equivalent Model
4f5e511f1beb87ed8cb9ae7aeb97dd5e8c96bf3b	Apalache	SeqConcat	Def0	True	Passed	Model Under Test Equivalent Model
636256366104216054c097c4f93d884ca63044be	Apalache	SeqConcat	Def0	False	Passed	Model Under Test Equivalent Model
7378bdb8410120a56d76ae16ec74fcd9e41ea391	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef0	True	Passed	Model Under Test Equivalent Model
93a751e55e8b21ff966cfe56dedf75bbcd1b6b57	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef0	False	Passed	Model Under Test Equivalent Model
8148b6f1315ebf84a82c32f1c76b1d47cc0f9790	Apalache	SeqConcat	Def1	True	Passed	Model Under Test Equivalent Model
7f5318fbf9c129c54e0562c3a46fe7fa8ba49f59	Apalache	SeqConcat	Def1	False	Passed	Model Under Test Equivalent Model
044082a2ef91a5b06266f68ba17a28a47a94c4bc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef1	True	Passed	Model Under Test Equivalent Model
5c04a9b7c3296f72892f27828ea553c50f9c7b1f	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef1	False	Passed	Model Under Test Equivalent Model
427fb155d2e6b2e39158ede1e06a7eb0adfba8ce	Apalache	SeqConcat	Def2	True	Passed	Model Under Test Equivalent Model
a7c8ef5a9e29ec9e210102ca28869f9e8c247e12	Apalache	SeqConcat	Def2	False	Passed	Model Under Test Equivalent Model
7d6f625a5418187cb21008eaccea44acb99f124b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef2	True	Passed	Model Under Test Equivalent Model
4c6cace94af7987d28f16f0999d0fad8b7a54574	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef2	False	Passed	Model Under Test Equivalent Model
daee200ec2b9e76613eb11bc39d15004f406e6b6	Apalache	SeqConcat	Def1Recursive	True	Passed	Model Under Test Equivalent Model
577fb4d87e5a329e6ca82f76ffec85614571a254	Apalache	SeqConcat	Def1Recursive	False	Passed	Model Under Test Equivalent Model
bb387b2017978ba7360837570b4193ef5cbc7289	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
1fb0d2b12bba6335ff34b986499d562f6f3fbafb	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	SeqConcat	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
ef61f3f5357ea429fa096de4b902d22616d3161f	Apalache	SeqConcat	Extends	True	Passed	Model Under Test Equivalent Model
5ae85cc470ef7bd4d87f6f9a0614f94f38dce9b3	Apalache	SeqConcat	Extends	False	Passed	Model Under Test Equivalent Model
926f6e263d44d0fcc17a4cccfc566f7505784cc0	Apalache	SeqConcat	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
e55703ebf55b049563fcc5d5112713a9d0ec48df	Apalache	SeqConcat	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
82045f9c1c0a830acfdfa7310421ead6f0c0bcda	Apalache	SeqConcat	Variable	True	Passed	Model Under Test Equivalent Model
31f041f96c956993cd465941b542dcdec7495d38	Apalache	SeqConcat	Variable	False	Passed	Model Under Test Equivalent Model
cedc3efca3aef46e7177305983f2bc3ad54b7fd9	Apalache	SeqConcat	Constant	True	Passed	Model Under Test Equivalent Model
adff17b4ff664d17e4bc4a2a9ee069f332a4b424	Apalache	SeqConcat	Constant	False	Passed	Model Under Test Equivalent Model
bf24383be16776f49e88952b304f96f09da4a754	Apalache	SeqConcat	ConstantRank1	True	Passed	Model Under Test Equivalent Model
81523d777bf197bfa56e4786b54f534c0475ac07	Apalache	SeqConcat	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1b890bacce3461f47b6ee4b4c3b47dd1ea347975	Apalache	SeqConcat	Instance	True	Passed	Model Under Test Equivalent Model
37398181ffb5accb598f9d1cbd46735834387522	Apalache	SeqConcat	Instance	False	Passed	Model Under Test Equivalent Model
ebec4ece0def000fc589738c69626cbf4be6567a	Apalache	SeqConcat	InstanceWith	True	Passed	Model Under Test Equivalent Model
251cd619c37eaaed07d69d4810421e9966ae34e0	Apalache	SeqConcat	InstanceWith	False	Passed	Model Under Test Equivalent Model
979bbbd30fd8d75b38cef9fac362f12a0e01bcd0	Apalache	SeqConcat	InstanceNamed	True	Passed	Model Under Test Equivalent Model
272cfeb5a31f032146da649decca9940932088c8	Apalache	SeqConcat	InstanceNamed	False	Passed	Model Under Test Equivalent Model
e5b7180de3a659419f2c4a8f24a4c3ab134843e1	Apalache	SeqConcat	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
ae3a19f5ae78f3986ae6952c835fb79c7338e0a9	Apalache	SeqConcat	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
2741e1d9f04253c9df632c7ea6a1e38b56e7645a	Apalache	SeqConcat	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
449cbdbbda79538b17821726dd5af38a15190507	Apalache	SeqConcat	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
1bc15cfc9585256dff8eedb174debd8ece4b0bb4	Apalache	SeqConcat	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
cd150a21acc4f1a48f4b64ae4a87be7e55b0f16e	Apalache	SeqConcat	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
d0b73ad2609ed05b18acc1d93058edc16d339e75	Apalache	SeqConcat	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
70d2283a6de41b6a567a38c5ece9fab4ecffc956	Apalache	SeqConcat	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
b800ca05a5b71c11feb6707b377104a721d18903	Apalache	SeqConcat	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f2cc5c35269ff3dcec7a45ba78ddccb7c6c35804	Apalache	SeqConcat	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
a0e7839e5ada6071e95ae82fa3f459f6194fb7c0	Apalache	SeqConcat	IfCond	True	Passed	Model Under Test Equivalent Model
e908a323b3cf4f16212e7d94430615ede0156a1d	Apalache	SeqConcat	IfCond	False	Passed	Model Under Test Equivalent Model
ff387ad92fe0e872b0979bcc8d53bbd09401972f	Apalache	SeqConcat	IfThen	True	Passed	Model Under Test Equivalent Model
a2877dddb92d722215e94a234b350529f3888586	Apalache	SeqConcat	IfThen	False	Passed	Model Under Test Equivalent Model
7aad7647116ca7d159791591d037aff86e570df7	Apalache	SeqConcat	IfElse	True	Passed	Model Under Test Equivalent Model
1d085d70da414563de00407426abfd26fbbda824	Apalache	SeqConcat	IfElse	False	Passed	Model Under Test Equivalent Model
fa35b01f3a6d93482e381cdfa25e4ada1603d640	Apalache	SeqConcat	StringEmpty	True	Passed	Model Under Test Equivalent Model
503ef7d3ed29ff3c40f61f57bef56299d09d3833	Apalache	SeqConcat	StringEmpty	False	Passed	Model Under Test Equivalent Model
d912c65fcc00c8bd546bff690e4fc3e16a9b59f2	Apalache	SeqConcat	String	True	Passed	Model Under Test Equivalent Model
79cda1de26375ac81a1b6c2d973fe85e6d1da71b	Apalache	SeqConcat	String	False	Passed	Model Under Test Equivalent Model
d26ad0465d3a60025c1a040d1bb8de011fa18c24	Apalache	SeqConcat	SeqConcat	True	Passed	Model Under Test Equivalent Model
7bbbb2ca278b921f55b19b5ef00a90c85b2d0d22	Apalache	SeqConcat	SeqConcat	False	Passed	Model Under Test Equivalent Model
c59260440f907275e2ddc9f3439545af383ba222	Apalache	SeqConcat	SeqSelectSeq	True	Passed	Model Under Test Equivalent Model
e957fe82076f1a2ec4c576fc8cf6cccd9bc70246	Apalache	SeqConcat	SeqSelectSeq	False	Passed	Model Under Test Equivalent Model
f9f1941e0dfed321d3dc524ae5e94348ccc9412e	Apalache	SeqConcat	SeqSubSeq	True	Passed	Model Under Test Equivalent Model
9fe221dae1fdd942f00f9aba418f9be09a688dcb	Apalache	SeqConcat	SeqSubSeq	False	Passed	Model Under Test Equivalent Model
f05a0a5d38b446afd1c6eba6e6b27f5974a849f3	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	SeqConcat	TlcSortSeq	True	Passed	Model Under Test Equivalent Model
1c55a0dae676e1a5cacce5bbb19a2719dec36122	TLC with reduction strategy: Plug Feature: SortSeq(S) is reduced to equivalent sort implementation	SeqConcat	TlcSortSeq	False	Passed	Model Under Test Equivalent Model
7055b261671721229c3c50f90cf99aa515e3dc38	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	SeqConcat	TlcEval	True	Passed	Model Under Test Equivalent Model
e5fb6a7014497f2cc9eef45ec04d49c3e8259053	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	SeqConcat	TlcEval	False	Passed	Model Under Test Equivalent Model
60b8e45f31bb0ff0f517c99515494fd6837aff75	Apalache	SeqConcat	SeqHead	True	Passed	Model Under Test Equivalent Model
bad303f4c4829b53a2735759150c48ec8be3344e	Apalache	SeqConcat	SeqHead	False	Passed	Model Under Test Equivalent Model
4d9ff1d88061025fa3b13241f03903f8ed509311	Apalache	SeqConcat	SeqTail	True	Passed	Model Under Test Equivalent Model
106879e05bb18d9718033932d164c0c1a74d4297	Apalache	SeqConcat	SeqTail	False	Passed	Model Under Test Equivalent Model
cf223dd65aedfdc194def26de3f5f5469261bb9c	Apalache	SeqConcat	SeqAppend	True	Passed	Model Under Test Equivalent Model
e9b6b22ce18cfd87579f6a3c0121afed557a1130	Apalache	SeqConcat	SeqAppend	False	Passed	Model Under Test Equivalent Model

Index

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