Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0dc633b9c226270c5ec316cb76f31b9574a3507c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub OneLineComment True Passed
d18b06b88029728d6adae24c5bad0f81f8691770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub OneLineComment False Passed
5cdc9f52f2378de7a1c2a65b8601e323f1bbc376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub MultiLineComment True Passed
87980ec3125c304761feddb1c8c5d5ba213d1e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub MultiLineComment False Passed
8387ba3231efd3dce7e40d112009a3330335de96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Let True Passed
93fa83fee5edad2cd9f6b0509c131a6485400101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Let False Passed
fd4fc3426bf50275cf116fa2322fa42c5965461c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Choose True Passed
9cb51141dec2b3c62f95ca0c53d011099d63547d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Choose False Passed
54acdf8a9ff1ef950251d518007bb8e3999cebb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub FunApp True Passed
5395fc3611137cee34fbb05c459307346bc40c22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub FunApp False Passed
7200ed776bbd0f8886411d4bb4a938a1e1206a7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Prime True Passed
f806006e76249cd0ef8e778d612c8c0f20de8300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Prime False Passed
63d094ea9ff8ccf432d9f2bb588d1edbd98b541d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def0 True Passed
eeaa79dd1ad7d1ee4be4f63888ad9f0c213117af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def0 False Passed
b97d4d30400d4c64e6fce6936182d8e216c67afc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef0 True Passed
16ec5824065fa41d1d4e86223a676cafb24e51f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef0 False Passed
31c93556cb5caf81b4356771756ecbcc80f6ac14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1 True Passed
c6523bf7822a4b5b4e9ee3d0674e897a483bad01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1 False Passed
5455740d9d04aad356d0e2b57effb19caba4246c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1 True Passed
f2044bc4e57f85fa7ab2c5bd3e25931af2cd99b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1 False Passed
d9fc897c53fdd14fefc6d308e0430bf3b5c13f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def2 True Passed
aed15b0d255aebe0f6a978b7593677ca44a316a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def2 False Passed
00e483edd065ddec09cdec24498f8cca74cd16d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef2 True Passed
e44e6b4ecd5ad5fc9efd699751a9997c1421e635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef2 False Passed
0dfe8d9cc2d786730f2fded4e526aa689c383e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1Recursive True Passed
2c878ca39f3c35998c34680a84b7abe34eb402f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def1Recursive False Passed
02e7a5acaa91af32206d3f86c29b8c4716917d61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1Recursive True Passed
ebf337712751ab6f0ed5899215851ac42a24828a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub LetDef1Recursive False Passed
cca5f5bac536707778db10f0e29616ce9a532aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Extends True Passed
6dbd97b04498a22b225cfd958d0d46bf85c950dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Extends False Passed
085e03c6eb7f812910b1db30bfbeb623fc8d9350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder True Passed
fb3afb3213e62d12dba6a19117b61d875f43c617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder False Passed
5181266e786bd09ff04a698df512092adbe49ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Variable True Passed
7593757132fe2b215f573af50e559ba0f5462b7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Variable False Passed
231bef59aa07b6957541533c48cf68e49fe5e37b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Constant True Passed
94f51dfe4514e7d4b412b82c1e862b45816a237a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Constant False Passed
dd20edb0508ea347779fc8122e2b2a9d9a45d703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ConstantRank1 True Passed
261424acf4935214d6d429e43358cfec5337c155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub ConstantRank1 False Passed
5ea39389aacd9f9312ad07470a4d46f726ece31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Instance True Passed
0869691bd9389554f3dc360542b16cea5965b680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Instance False Passed
e73096ccfd3db8a817eab39aee91fb45cbd50d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWith True Passed
b76f97d192c40304be5eb71160d0a2ed8ddb69fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWith False Passed
b9872f131bbb6fcdbde961f099a7fd9da3dc8a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamed True Passed
6c13eee0640d06021bcb573466616ca8d10cafcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamed False Passed
93b7689cdfc96e22a8c340159ea451ba81812a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWith True Passed
179b84c974f2577d9839caf9b74bb6b3a43b03e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWith False Passed
f7ed59d268c02c2a988c514f527813beee3f4242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceInFolder True Passed
2f9e8aaf743ae5fc1ce62716a0101030163ababf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceInFolder False Passed
acd25290acdc13f1e05614abaa7a8d8986204476 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWithInFolder True Passed
c636a53ed8afe289e94c5c51a9578cfd1f8070d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWithInFolder False Passed
4d489cfbf2117f0040e39b797023ce38401d576c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedInFolder True Passed
b3b5d685543a5436408f873bef51f7d706c337c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedInFolder False Passed
43ffd8bba5afd3264d6d60b186e7f3586128e1b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder True Passed
45c553b06dc2061a4e4214e9ba169809b6b35974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder False Passed
f7ac91f0c2112bf722a2c556786d8babdb5f5b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfCond True Passed
14d6c802e26cd89dd321385ded99382c53f2ea80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfCond False Passed
689e33456c5b3c0503885fe4a5290d335f2d6c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfThen True Passed
87efb25121a0e4a0377b9ed316a2a5262944c14f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfThen False Passed
10cf07517a4892420a43f13866b170fc1249d7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfElse True Passed
e879ad8be65a1267d75ca826ca572ad609b29404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub IfElse False Passed
6b6d8bbe3c44fc91abfa66e0e51ee39853036d28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub TlcEval True Passed
3f9e0919f3452e668121f6babc5ab4a07b1f155e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub TlcEval False Passed
b7921dbfbb3cabb23f30c2bcd36873cdd6bcb573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagSetToBag True Passed
b2bd8646e0dbcd214651fcfc590134076e3d962e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagSetToBag False Passed
687ae5e6ceab10a9901ff50eb106a12112dec237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagEmptyBag True Passed
1d7e6fcd41001c690bbbde80939743667d3bccc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagEmptyBag False Passed
06ed9928817f1d7163128c896f17a26d12349b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagAddBag True Passed
b1b0d3bb947b5cdc32b24f97723b69034ff79198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagAddBag False Passed
de4bfdc2893b48e2026e25367a7631c431e8de9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagSub True Passed
97cb4690e6a104e13c6c3d881ce9787782fa6985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagSub False Passed
9b4525990a8d755c7b6d0eccc3ba8758d4e8ba6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagUnion True Passed
f7e064cf27badc7c2581a60137390c7ba573eb1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagUnion False Passed
fc5e6535f135d30f9d11fbdaf5778842576f8054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagOfAll True Passed
76d720c2afb1677138eb930bb10af7e8a9d1550c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagOfAll False Passed
258e7afc4db8ee9d83160c87818badb4a99cecc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub SeqHead True Passed
7a0123b5cf57694d827e7085c588ef8fa220b14f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub SeqHead False Passed