Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5148bfff4ffae6b076b53092cdc96ff3e9995a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag OneLineComment True Passed
1704507c48c8e148d34f24a90b8fc264449c6e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag OneLineComment False Passed
b901f3e8c39a62fd71fd67e4da688e6129c2dd2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag MultiLineComment True Passed
7bfff0ca6a5f32d744821d4d8c1b458e9d942c3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag MultiLineComment False Passed
8abe4f7f4bd3777e2a139c1ac1d39ba8114983ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Let True Passed
8138d76867375eca4f59ab3173b7b08405225769 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Let False Passed
b5cdc21cf50128c088f8415096fbe289dc08aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Choose True Passed
eb339e8551a99df918bd9cab582481281cefcd2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Choose False Passed
35c3a12aa77af07f73d1c83afd86a112442c4ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag FunApp True Passed
d3259e35bcf7b94546b7a1a917306395e5869423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag FunApp False Passed
33246817ba70c0c805fc71db01c3f98019e7e060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Prime True Passed
3bd99506cb6420dc9083678435a24f567152f4a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Prime False Passed
aed47b8668bc898f9d0d1c57c4bbed713aefde74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def0 True Passed
abaa337896e11d7a206e9437d7c039c3aefe226b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def0 False Passed
3688a877a30ab19cb92b5729030d6a78fb952096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef0 True Passed
ecc653b1ef5bbb11a6bf5005196f60a2f10054ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef0 False Passed
40cb8ccb219cabcbfc0db6819b6b058e862ca4b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1 True Passed
d126d99ee46c0a02164e033dd7b4775723486a22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1 False Passed
773ab194a6e7eaec27a56ff3d0b7aae2781aca3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1 True Passed
0487ab97b90ec663f4b6634696f0b31974d4d360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1 False Passed
6c5946b5d022a534a03faf2cd9a4ca921a275054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def2 True Passed
f0b3df3043bd3b658c1da4e58f06b3fcc873e218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def2 False Passed
3ddeb791cd254ccb281918d52e1070189856e59c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef2 True Passed
47d59d57e6fe2f6dc2bffbaf91d9117e0508ebec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef2 False Passed
a74ed9deacf8cb3089075037060cf04b598e3d3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1Recursive True Passed
5c39b1f80be40ca3b747b8026363f183698ca5de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def1Recursive False Passed
d3d910d2a420867bbdd78351663093395520b3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1Recursive True Passed
59f930b52702b7e7d34405aa71a712956ec43eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag LetDef1Recursive False Passed
694eb5c7eb07aa61d2f132f9cc2cef49913a691e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Extends True Passed
afd3867416b5a656c7c804d029e40f93fc2aa988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Extends False Passed
ef8dd2b4cebeaeb39b170b1977ee97323ff13b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder True Passed
b85096d765b766d0cc2a77f9e7782a7b61cd8f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder False Passed
6c056897e4d3c2607853205835fd2ab522dbb6ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Variable True Passed
d26d79c914cadfad3e1c1319d017483146cec824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Variable False Passed
92b3d12e0056512bee3f9326d344e24ef71802cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Constant True Passed
77982db4319896d59621e7e241a565a0df1bc166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Constant False Passed
ebdd2acd1e9e7742394968c5c2b0e36a9809888c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 True Passed
0fbae7dfe6017c65478b2970d29ed3dcab3eae81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 False Passed
045088803d6b13b274afd754ed05fd83fa5fc836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Instance True Passed
8abd8e5365275029e646f57bf81d124848448763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Instance False Passed
08ea376c26f8bc4ad95f22009942eeaf982b79e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWith True Passed
85840e86a9d2b147e98d0bf989ce993626e97dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWith False Passed
c994a22d9a05227ebb2aacfc51542c52d009767c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamed True Passed
967d3490178b8869038c47c430f6efdd9ad3d1e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamed False Passed
1bc527a9dfb5b5e0c8c5bc0401c316bb563b4d21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith True Passed
c9a69184e4a02fd92c08a4c11532f01da5353e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith False Passed
319cae2aa18d8659f6f09aaf879ba82470597890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder True Passed
29573793ee9eb8dcb81e6921f14239e4d2c19754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder False Passed
df0a2668903110f91a9fcefcdf5bb583c820fed0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder True Passed
4cac3fb5e07d84bcf7829836114606b6cc609de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder False Passed
d5c24c58726f0205a9cb28b955ccbe5fa61dc0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder True Passed
3882306dab252106afb69895ff21e7e2a045d600 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder False Passed
923eb3461811d9ed920f4b8aa8ca3820bb4626e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder True Passed
1f180b2cb7f33f93cdb9af693d44eb71b980fad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder False Passed
cfd82a1ebdb6464dc9f28a210a7daf3c634e1b02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfCond True Passed
0fa8c2021f9c48327c42ef2cf52fe540c5aff26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfCond False Passed
7294120e1381717106742d9ef50ca8a9e828bf90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfThen True Passed
0e6dbbe69282b4e61ae91efb8b6e04d1220c1210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfThen False Passed
e2d30b3eef33e5b17c6539777271183388885ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfElse True Passed
6dee7d8f5eaa7b0ac4d665117d5783541003dfce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag IfElse False Passed
c1c883bcb74d37b8b6a7a862db44de0a135f53d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag TlcEval True Passed
d9408ad37f629e26f9da37c26a842e8c87bad763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag TlcEval False Passed
cb701c77a3d7eef6909b24166640a66edf003558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagSetToBag True Passed
cd48009e390ff01789b203d6f156b63672ea8024 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagSetToBag False Passed
2153435d62ee35a9eb3bed53987e5724f325bc23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag True Passed
3096dba220299a8d8c58aa0c7404cd548f36f96b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag False Passed
899d4e835cb8b39e935be4f0f0949e7e61417f93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagAddBag True Passed
55d9dec9013f3e94c67ea9d97effdb0b7747d70e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagAddBag False Passed
7f11f9b7461dd65e3a2defb59055e2a4d0f7ab50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagSub True Passed
f4fb2d9899c134573f23628cf2a62bec59d1f428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagSub False Passed
a7ad4eeb20a4e14ae509908c75588ec327b8caf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagUnion True Passed
ff7312570f6d08aae388a85d10b3213204cfbc4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagUnion False Passed
3a086af7cc74ae5e536cd6771724c869b9ecb806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll True Passed
0c69b1c61302da67a1cfd5c8ec5997c923e6854a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll False Passed
d8c10446d154d5b26fc7e51ad9f0aa1a15948467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag SeqHead True Passed
98331623af40d52d9f6d85905d8c6b046734d534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag SeqHead False Passed