Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2ce20be65bc32f8c1f52f861ffe37893b199f4d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet OneLineComment True Passed
b06761542005675a10c6ec9b249d15534eaf02ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet OneLineComment False Passed
06277fc895a4fd7e802db05688f0ab0faeaf62e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet MultiLineComment True Passed
0cc72d92e3ba775fa31725c7664da64f4e1fb1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet MultiLineComment False Passed
d8b89c006ab7c3a75d4c2c262aed4fcaf708150e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Let True Passed
77d1a6964038acdcf30d36a7bee75c7fa6942d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Let False Passed
681be6e4b455340309fd238a2288e566bee6bd53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Choose True Passed
7ca34c463291455e0a4701f2935b09fc176380a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Choose False Passed
b157ee3f896f3a0746daae77520a9562e8970dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet FunApp True Passed
ad0f09a192637d550e2ccdce7490aaad2439a234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet FunApp False Passed
46d17198aba88269ae6c7462042187d71d1d20ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Prime True Passed
543a26cdf04ca1bfddda84c393dff579d781d136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Prime False Passed
925a46b2d74552412dd033d77634da5a269c3777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def0 True Passed
d0a3bb4da2eb8831b71f5b840cbdfa2c255ba6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def0 False Passed
45cdb86dba62a131757a81c820ebeb1d54203ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef0 True Passed
8bf20c7ab84da55ad7442d87d97a0b6888ca7713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef0 False Passed
0748a92dcd1061ad9e8abbd693f74e21bdfaa92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1 True Passed
81941e53ec0b174904be2282c438c3e64d373840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1 False Passed
f75d135382f5a078a4f00098bf2585c6c6bdf1ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef1 True Passed
9bdf476221c4d31e3552e3f83c7ed718e67573dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef1 False Passed
450d83bcfbbe919636a13c7fbc282d5bad569613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def2 True Passed
67494ff1880b9c89e0448e1d254338793d86552f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def2 False Passed
c2412dcc17d49472de5ded12dcaa2f9f0f69112a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef2 True Passed
ec77f75acf5740ddb88f3a7ecde249ca7637261a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef2 False Passed
0ac37c79b123f96c9bb70767fc2b9c9840642d19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1Recursive True Passed
45888c3d363f56ffab248938ad98c2e07f47b3bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1Recursive False Passed
924ee64b931f487b86c6a29b0acc803d29113fed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef1Recursive True Passed
d5a5340f5cbc66ea1fb3c6f4985c3005c8d7f7ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet LetDef1Recursive False Passed
35f526da593e2fa5cf01c5d7296d89eb9c281c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Extends True Passed
27c2d850d13a3a3bd178ba873290a2e3b9c7b20c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Extends False Passed
ecb3a7dca067a90fd255972fc6e87df50c00bb71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder True Passed
c88a5f49e93df97cac7bc64746646ded8d524118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder False Passed
d2a0bd386b4aa185dd1f25e2016fc6c776b1c3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Variable True Passed
f444ae7999360609b14ef2bb132a4baca30afaa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Variable False Passed
d899b39c3efb05dae1efe3068abeb47c427d0153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Constant True Passed
637648d3c8cb0270234214cc9b50f339b2e26234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Constant False Passed
49cc08af3fafc8aadcb2570ab0f21cb0f0f7097e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ConstantRank1 True Passed
775a7f8c8ffddf0d2b129950767391c3708efefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ConstantRank1 False Passed
71c7c9059af18491e5b9bc3827f210aaf8d9c669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Instance True Passed
20ce119590f21c7e8b1096ed782912202948dddd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Instance False Passed
8b4909be8c7d56d5167f03c39786c1ef187d3e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWith True Passed
2ce201c23ed5f6a5a9cac8aa2932929a81ad4be0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWith False Passed
9ef1ce053c75dbbdfe4c68284a08aa3d8a37df98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamed True Passed
c2fa07f2c2c0ef0bde7c5179f1fc9c4110440973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamed False Passed
7364264fc77a504b0ffb082f5a23c0d52ac93d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWith True Passed
44d987a836a782c18259431504111608ab0fc44d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWith False Passed
107ac22d455aa34f2b9d0f6453cc7616c363a507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceInFolder True Passed
e2f9bee10817b26a27b183d004f0311a7f0336ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceInFolder False Passed
09c63b34f80629d4e8cde6989bdb515a311622bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWithInFolder True Passed
9a1d1f81c3ad4f9255f7514e8e14abcc70357e0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceWithInFolder False Passed
410453de6745c3e151e2d299f9b66c383ed8ae94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder True Passed
98425c37cb561e7bd473f2b5c2dacf701afba403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder False Passed
3a3e161986c6fae2c9f2ab8ce1852809e22457d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder True Passed
01afbbd5e6d594d41c80f52227ce836d03f04816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder False Passed
794384d401bc72242ac21218b4911c2eabc1a3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfCond True Passed
a3cb0e30c75df9cfc62354cc5ed5d4a195038f8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfCond False Passed
43882239f5be679792211281f46bf71579374672 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfThen True Passed
867f4ebf4cdf93a1c0db3f0a99528831b85c64b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfThen False Passed
af722024a786078033735437fff4e7530cfd86cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfElse True Passed
b3ba7a526760c2ff5b6c8e35a81f935fad305b66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfElse False Passed
099bc8ddbddd789983e86bcb68e8b01d721764c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet TlcEval True Passed
702493326a8dde6db155aa54894aec4740577d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet TlcEval False Passed
43864cd2a10291e08f151aca35134d2c82031602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagSetToBag True Passed
c31fa5fbc06ff765ba1c06370451297137563c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagSetToBag False Passed
032bddef59c11bf8a164ed7503f19632b306b57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagEmptyBag True Passed
ab5216c893ebc9bd02b00e51b52370f6b2ebdd8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagEmptyBag False Passed
0a0a2ad23e2e8baa9ab25208f94d67da35db648b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagAddBag True Passed
dde353e0d0f34a6b0f8e0a8c721bec5bd2154395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagAddBag False Passed
9ce67bcab15d88cbf857a6f4fafa5b3e342a65d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagSub True Passed
f02f2c0993122cd821538f5f681977877974766b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagSub False Passed
f9bb04271e712c771d1376a7090985f667ef47ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagUnion True Passed
50a242cce87918585caf52929432d9abf115e458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagUnion False Passed
3eed7f6bc3c60744dfc097b2157a244d9cd0ddb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagOfAll True Passed
9c46f4e20b05b6e00cf0d66f5a56120ee72a18af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagOfAll False Passed
f68f854e4d314e30c69c462fcba8412a24f467b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet SeqHead True Passed
062ed34301053921f21c57b07cdd6ab0062d9382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet SeqHead False Passed