Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f279d488f26b89f78869c189e2653e671453f705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion OneLineComment True Passed
6b470c810f3a4060e3ebdda5b673b4a56666cbf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion OneLineComment False Passed
c7d0f943ea2aab61c409c0c2a71791e00b5f2f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion MultiLineComment True Passed
da8613f9312e083047f3c86e1a0040fb319d8f5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion MultiLineComment False Passed
d68e6a337878b4c2a7c0301f2692abf8f0ae52cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Let True Passed
08d20239d927a77ef58cd6c7469caa307e56479f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Let False Passed
c66def4312bef238285920fadcc048dea86df32c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetEmpty True Passed
9ce66ea84ecb0949013cf20a1cc067926d099f7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetEmpty False Passed
04636aa6174769fb7a977abef8440e12b48e75e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set0 True Passed
1a326ebd4247f01094abdd1212d3b22f877d3cab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set0 False Passed
d68bb02932358d1d028bef563b30f1828eff0d2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set1 True Passed
aced25d42e5a9e726167b67533129d34cdc36eae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set1 False Passed
953035e3ee8a961f47898e8732565a8bbe01e90f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set2 True Passed
d8ab5a93ebfa49859b72c6d680f2fe1eeaf67a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Set2 False Passed
8f2274acd0ed7ec3ab6b880b022b144f8c00f06b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Choose True Passed
cab9710f58f061e81656c58f844642c5af002fd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Choose False Passed
eaeca10d140fd9504852e3d36acfc1d1c23ab99d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion FunApp True Passed
671c2bcbf7d905b164dedc27cc52386423c99889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion FunApp False Passed
a5cf932405010b2b32f10eba4c31275dcbf2430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Prime True Passed
b6b98d26e222aa6594074184c07f39adb7a7719c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Prime False Passed
229c8487b72f20af0edb748c00f59180bcdc8b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def0 True Passed
2b4951ab7fb7004fa826992f902aecb812730fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def0 False Passed
abae74fd990fed4651bec767dd4ed7a862b652ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef0 True Passed
f320faec0f8fdecf96db08c39e4e3f7cfc2adcf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef0 False Passed
3f32266b67a0b822ebdad950d0b8cfb030bda094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1 True Passed
4f3bcc2ea1cd7432a7e863d0c42829b757a4d563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1 False Passed
0161dcf70b2c373caaa32dfa780c5059520e4962 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef1 True Passed
b684c53a20e60d4f86325df344e438b207162e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef1 False Passed
6867cc365483309c13ebd72afcbff99656d0ed22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def2 True Passed
f007573f97310928f61cbe6125174540874290a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def2 False Passed
4f3f72810fa45b17d8ba3c46fb784e6b75e68017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef2 True Passed
482653be4725c93ac734d23031e768386645883a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef2 False Passed
04bb426cebe5bab8fe5f094be13957f3ac00a393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1Recursive True Passed
67bfb101f4f61fd70222a86ced4a7d22cb81768c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1Recursive False Passed
01db76773e1d8054aa48954f19fd896bbfef8b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef1Recursive True Passed
e34e3b95aa7c0e6d36cc23cfd6cb0df9fa1a45fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion LetDef1Recursive False Passed
8e6f28c14cf884d2be3350be947525dab0b01bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Extends True Passed
9e0375cd53ed65db12d06264afe7147517a861fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Extends False Passed
fd0ba38f9f8ecd29513c63922b9e61b38f0024ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder True Passed
ab505f18fcb37c913c94ad7a9b30b3f95679a109 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder False Passed
595c7cf767e26f466a0e8457dfe3aabfbaa92e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Variable True Passed
af6ddc7f8294b8a0c583fc967db48e7509bfb597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Variable False Passed
c5887d84d9f0a25c3c4d1d3dc0aaabafa3e54923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Constant True Passed
9d20099de7d86c4d32085c769f853d6439da515c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Constant False Passed
c999e5924a921f22d50f9aa6f3882fc88ed93a2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ConstantRank1 True Passed
d5390ea41dec547ca1dec0b82d41b3ba8b143266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ConstantRank1 False Passed
47f2c8544afecd3845c5b5367e0ed9500bf188c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Instance True Passed
4423a2ed489c09258958ff7f7658cb343be1231a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Instance False Passed
b828192b4d2f9a22c2ea4bc384fdee4b638d3583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWith True Passed
0635bcd8beda076a126763f46e7b976bfab1ed51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWith False Passed
bd34b82c7beb87d5de7f8b3dee2e96c7749f61e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamed True Passed
6f33982df05e7b4eaed0a77c947307a8cf53eab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamed False Passed
235c3ce06f8bd299a93c94a549f3f078c00da57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWith True Passed
8501047d3265692768273938ff25b1e0d04cdca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWith False Passed
1c2dda15420dc4ebac06ee865813d8883552ab06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceInFolder True Passed
d1d7decb1fc86e75a758b52f72f24baee2d1b90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceInFolder False Passed
3dc191a3190cc032aa6f989144f98d88ed955063 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWithInFolder True Passed
afca98ec3480442b1de9eb27ecaa37ab6ae92d49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceWithInFolder False Passed
5c232dafd60590ac8bb3254d5ac6958a5c4206e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder True Passed
808bf9173205461ee9e1f23944a9d81406d827f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder False Passed
e556b6e38d95aab810e76033649a69f7fbae6bcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder True Passed
7b76750ff6906366b73151b3aa739582c0a13754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder False Passed
ff9584f0aede688ac61627638202fbd70ea29e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetDiff True Passed
0bb98c71714a03a206dfea1967b4ba1a17590661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetDiff False Passed
1fd25a87f9cba8230a2f916aab7f02ab7d1ddbb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetUnion True Passed
76586f02694cf4ab1b89c9fb18279c44c3eedde8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetUnion False Passed
bb2ec198a6164e266046ba03645ad3da33db00c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetIntersect True Passed
68350d0e40b7cdeb20ad29658c58eedc4a901467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SetIntersect False Passed
844cb4944c7f3a68b3232ba09706c1630aaa4b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfCond True Passed
12e15c15f99d685766eaf31257d199c51a2f4e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfCond False Passed
8a617872b26342d7e5e6e3004fd40c2fd307ac3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfThen True Passed
c57a8baf071bba831067f6e4d37c49c6aece513e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfThen False Passed
dc5ea3d07c366efe4498f6c9fab2157ff479d62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfElse True Passed
6835e3d35402cb0a32eeea281d42f4f7b33cfd28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfElse False Passed
d18532b09223df5bfc36f5d1e936ef189bcd5580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Domain True Passed
df8780879882d1a26ee3a1e3a071b0803bf47354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Domain False Passed
5bd7f8a546a9728a5270f1657a7f1397a1addd67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Union True Passed
16e9312769e065ada5838527bdcb7e5e4514b299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Union False Passed
a13fb8559e3da8c27d94ec6d58f9b246dc1af147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion TlcEval True Passed
33dbc0d872f89b340fc38e2eacf697f103165bec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion TlcEval False Passed
fdc536f5da1488b115654ea1547a37fd85fbd4be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagBagToSet True Passed
29722af549ac97de41da68586b6147b0a17c9c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagBagToSet False Passed
2e227ec2e3db5f07ecb7d87a2f4df6ad65616f4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagSubBag True Passed
5722f6943b09fb44ee69f1b937bdf55581c4eed9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion BagSubBag False Passed
f67170d6fc6da731b074c0b918bb657f6a9f6bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SeqHead True Passed
5a96daebb64cca8aab85d7cfd076b6851f3ad3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion SeqHead False Passed